cabal run ns-exe transpile example.ns # or cabal run ns-exe typecheck example.ns 路线图: 打字员 带有子类型的类型检查器 多态性 模式匹配验证 字符串操作和内插 做记号 类型级解析器的例子! 例子: 函数和常数 def sum-of-three (a b c : number) : number => plus(a, plus(b, c)) def answer? : number => sum-of-three( 10 , 20 , 12 ) def answer-with-let? : number => let a : number => 10 b : number => 20 in sum-of-three(a, b, 12 ) type sum_of_t