Sollang

静态检查语言，值的流动以表达式为先，具备所有权和借用以及显式的效果能力，通过 LLVM 编译到原生和浏览器 WASM 目标。