Ante
a low level functional language
諸々の機能が概説されている
まだ言語に入っていない機能
例えば、存在型のためのexistsというキーワードとか
篩型をtype aliasにすることもできる
code:ante(rust)
Index vec = x:usz where x < len vec
Rustと異なり、明示的にlifetimeを書く必要がない
低レイヤ
simple module system
C++/Rust のような低級言語と、GCを使うJava/Ocaml/Haskellのような高級言語のギャップを埋めることを目指す
基本的には高級言語のアプローチをするが、必要に応じて低級言語にdrop(?)することもできる