specification:受HaskellOCaml和Rust启发的静态类型函数编程 源码

兰贝 受Haskell,OCaml,Rust和Kotlin启发的静态类型函数编程语言。 0.范式 Lambë设计的目标编程语言范例是: 函数式编程 静态打字, 较高型的 聪明的演员 代数数据类型又称ADT。 基于特质的代码组织, 特质规范为头等舱公民, 以头等任期公民的身份实施特质, 自接收器概念 粗粒和细粒自身规格,即接收器类型, 结构化评论 代数效应 1.功能 关键字:函数式编程,静态类型 1.1基本概念 定义 sig id : forall a. a -> a sig swap : forall a b c.(a -> b -> c) -> b -> a -> c sig compose : forall a b c.(b -> c) -> (a -> b) -> a -> c sig pipeline : forall a b c.(a