1。函数作为返回值 任意多参函数都可以柯里化，a->b->c可以理解为 a->(b->c)swift中 (A,B)->C可以转化为(A) ->(...

对元组进行解析 not函数

swift中结构体在haskell中的描述 枚举类型在haskell中的描述 枚举携带类型在haskell中描述 递归类型