文件名称：Idris2：具有一流类型的纯函数式编程语言
文件大小：6.26MB
文件格式：ZIP
更新时间：2024-03-08 21:08:02
Idris
伊德里斯2 是具有一流类型的纯函数式编程语言。 有关完整的安装说明，请参阅 。 简而言之，如果您安装了Chez Scheme，且其可执行文件名为chez ，则键入： make bootstrap SCHEME=chez make install 您可能需要将chez更改为Chez Scheme的本地名称。 这通常是scheme ， chezscheme或chezscheme9.5 （取决于版本）。 在现代台式机上，此过程（包括测试）应少于5分钟。 Idris 2主要与Idris 1向后兼容，但有一些次要例外。 用户最明显的区别是，可能导致Idris 1程序无法进行类型检查的是： 未绑定的隐式参数始终会被擦除，因此尝试在其中进行模式匹配是一种类型错误。 歧义名称的简化解析，这可能意味着您需要更频繁地明确消除歧义。 通常，Idris 2将能够区分具有不同具体返回类型（例如数据构