文件名称：Idris-dev：一种依赖类型的功能编程语言
文件大小：2.81MB
文件格式：ZIP
更新时间：2024-03-12 19:00:06
Haskell
伊德里斯 Idris（ ）是一种具有依赖类型的通用功能编程语言。 安装指南。 该存储库代表该语言的最新开发版本，并且可能包含正在积极处理的错误。 对于那些希望使用更稳定版本的Idris的用户，请考虑安装已在Hackage上发布的最新版本。 可以各种平台的安装说明。 详细介绍了有关从源代码构建Idris的信息。 代码生成 Idris支持外部代码生成器。 该发行版提供了一个C代码生成器来编译可执行文件，以及一个JavaScript代码生成器，它支持node.js和浏览器JavaScript。 有关更多信息，请 。 更多信息 如果您想了解更多信息或提出问题，我们目前有一个 ； ，以及freenode上的IRC频道#idris 。 要加入IRC频道，请将您的irc客户端指向chat.freenode.net然后/join #idris 。 对于那些对使用Idris进行项目感兴趣的人，可