Idris 2 v0.4.0 发布,类 Haskell 的纯函数编程语言
Idris 2 v0.4.0 发布。此版本主要变化包括语法变更、编译器变更、REPL/IDE 模式变更、库的变更,以及 API 变更等。 Idris 是一个类似 Haskell 的纯函数编程语言,类型系统支持 dependent types。 依赖模式匹配的依赖类型系统 简单的 C 函数接口 编译器级别的编码支持 where 语句, with 规则, 简单的 case 表达式, 模式匹配 let 和 lambda 绑定 Dependent records with projection and update Type classes 类型驱动的重载方案 do notation and idiom brackets 缩进语法 可扩充的语法 Cumulative universes 整体验证 类似 Hugs 的交互环境 语法变化 带"""分隔符的多行字符串 (#1097) 使用with关键字后强制严格缩进 (#1107) 参数块 (parameter block) 的语法已更新。它现在允许声明隐式参数并为参数提供多重性,旧语法仍可用于兼容性目的,但将来会被删除 添加对 SnocList 语...

