hackett:Racket中类似Haskell的Lisp的WIP实现 源码

哈克特 Hackett尝试通过支持Racket的宏系统来实现类似Haskell的语言,该语言使用论文描述的技术构建。 这是目前极为工作正在进行中。 这是Hackett目前支持的一些功能: 双向类型推断 代数数据类型(ADT) 模式匹配 详尽检查 类型类(包括多参数类型类) 种类更多 高阶多态性 类型感知/类型定向宏 懒惰 中缀运算符的语法 范围类型变量 以下是一些最低发行版仍需要实现的功能: 孤立/重叠实例检测/预防 严格度分析 种类检查 最后,这是我最终要支持的功能(非详尽)集合: 功能依赖 行类型 GADTs 类型家庭 由于Hackett的实现方式,Haskell中许多语言