伊德里斯2 是具有一流类型的纯函数式编程语言。 有关完整的安装说明，请参阅 。 简而言之，如果您安装了Chez Scheme，且其可执行文件名为chez ，则键入： make bootstrap SCHEME=chez make install 您可能需要将chez更改为Chez Scheme的本地名称。 这通常是scheme ， chezscheme或chezscheme9.5 （取决于版本）。 在现代台式机上，此过程（包括测试）应少于5分钟。 Idris 2主要与Idris 1向

伊德里斯2-埃尔朗 Erlang代码生成器。 当前，该存储库包含Idris 2编译器的完整副本，但是在某些时候，我想将此存储库变成独立的代码生成器。 请注意，该项目仍在进行中。 反馈和贡献表示赞赏！ 关于伊德里斯2 Idris 2是具有一流类型的纯函数式编程语言。 Idris 2的开发由领导。 有关Idris 2的更多信息，请访问： 关于Erlang代码生成器 目标 使与Erlang的互操作变得容易。 类型安全：即使与Erlang进行互操作，也应该很难偶然引入运行时错误。 非目标 使生成