伊德里斯 Idris( )是一种具有依赖类型的通用功能编程语言。 安装指南。 该存储库代表该语言的最新开发版本,并且可能包含正在积极处理的错误。 对于那些希望使用更稳定版本的Idris的用户,请考虑安装已在Hackage上发布的最新版本。 可以各种平台的安装说明。 详细介绍了有关从源代码构建Idris的信息。 代码生成 Idris支持外部代码生成器。 该发行版提供了一个C代码生成器来编译可执行文件,以及一个JavaScript代码生成器,它支持node.js和浏览器JavaScript。 有关更多信息,请 。 更多信息 如果您想了解更多信息或提出问题,我们目前有一个 ; ,以及fre