文件名称：specification:受Haskell，OCaml和Rust启发的静态类型函数编程
文件大小：44KB
文件格式：ZIP
更新时间：2024-04-15 08:39:13
functional-programming abstract-data-types traits static-typed higher-kinded-types
兰贝 受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