A memory-safe, statically compiled programming language written in Rust. The aim is strong safety guarantees without giving up the performance of ahead-of-time compilation.
source -> lexer -> parser -> checks -> codegen -> binary
|
unsafe programs stop here
Figure 1: Compiler pipeline