The Swift programming language has transformed the world of iOS development and started a new age of modern development. Pro Design Patterns in Swift shows you how to harness the power and flexibility of Swift to apply the most important and endurin
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 =>
