文件名称：Idris 2是纯函数式编程语言，具有一流的类型。-Python开发
文件大小：6.5MB
文件格式：ZIP
更新时间：2024-06-14 12:08:44
Python Functional Programming
Idris 2是纯函数式编程语言，具有一流的类型。 Idris 2 Idris 2是纯函数式编程语言，具有一流的类型。 有关完整的安装说明，请参阅INSTALL.md。 简而言之，如果您安装了Chez Scheme，且其可执行文件名为chez，则键入：make bootstrap SCHEME = chez make install您可能需要将chez更改为Chez Scheme的本地名称。 这通常是方案之一，chezscheme或chezscheme9.5（取决于版本）。 在现代台式机上，此过程（包括测试）应花费更少的时间