A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
programming-language
rust
typechecker
dependent-types
compiler
type-theory
systems-language
type-system
systems-programming
bidirectional-typechecking
dependent-record-types
dependent-records
-
Updated
May 16, 2021 - Rust
String interpolation is the last feature from the old C++ compiler that is still unimplemented in the rust compiler.
Once implemented this feature should desugar strings in the form of
"... ${expr} ..."
into"... " ++ cast expr : string ++ " ..."
. This looks like the following in the Ast: