austral
austral copied to clipboard
austral
Systems language with linear types and capability-based security.
- If `F` is the name of a function or method, then `fn(F)` should be an expression that evaluates to a pointer of that function. - If `F` is the...
``` austral compile-c --acm-directory=foo/ --acm-directory=bar --module-interface=Derp.aui --module-body=Derp.aum --output-acm=Derp.acm --output-header=Derp.h --output-body=Derp.c ```
[quality status: stream of consciousness notes] Efficiently compiling large programs is difficult. Compilers are constrained from various directions: we want compile times to be short, we want compilers to be...
Austral has a fairly sophisticated error reporting scheme implemented in the `Error` and `ErrorText` modules. It is portable, meaning that in the future we can add different error reporting backends,...
Type parameters store where they come from, but not the decl ID: rather, the qualified name. For instances this presents a problem since they have no name. This came up...