Idris2:具有一流类型的纯函数式编程语言 源码

伊德里斯2 是具有一流类型的纯函数式编程语言。 有关完整的安装说明,请参阅 。 简而言之,如果您安装了Chez Scheme,且其可执行文件名为chez ,则键入: make bootstrap SCHEME=chez make install 您可能需要将chez更改为Chez Scheme的本地名称。 这通常是scheme , chezscheme或chezscheme9.5 (取决于版本)。 在现代台式机上,此过程(包括测试)应少于5分钟。 Idris 2主要与Idris 1向后兼容,但有一些次要例外。 用户最明显的区别是,可能导致Idris 1程序无法进行类型检查的是: