文件名称:nonsense
文件大小:14KB
文件格式:ZIP
更新时间:2024-04-04 17:20:27
Haskell
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
【文件预览】:
nonsense-master
----example.ns(916B)
----package.yaml(497B)
----ns.cabal(1KB)
----app()
--------Main.hs(1KB)
----src()
--------NSPrelude.hs(879B)
--------Language()
----.gitignore(32B)
----README.md(7KB)