这是名为 Idris-dev 的 Linux 应用程序，其最新版本可以下载为 Release1.3.3sourcecode.tar.gz。它可在免费的工作站托管服务提供商 OnWorks 上在线运行。
使用 OnWorks 免费下载并在线运行这个名为 Idris-dev 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序，安装并运行。
截图：
伊德里斯·德夫
描述：
Idris-dev 是 Idris 1 的开发版本，Idris XNUMX 是一种通用函数式编程语言，具有完全依赖类型，旨在在语言内部编写类型安全的程序和证明。它可以编译为 C 和 JavaScript（适用于 Node.js 和浏览器），并支持通过替代后端生成代码。
功能
- 完全依赖类型允许值出现在类型中
- 全面检查以确保功能完整并终止
- C 和 JavaScript 的代码生成器（浏览器和 Node.js）
- 通过社区贡献支持外部后端（例如 JVM、CIL、LLVM）
- 受 Agda 和 Coq 等证明助手启发的强类型驱动开发
- 与 Idris 2 开发同时积极维护
程式语言
哈斯克尔
分类
编程语言
此应用程序也可从 https://sourceforge.net/projects/idris-dev.mirror/ 获取。它已托管在 OnWorks 中，以便通过我们的免费操作系统之一以最便捷的方式在线运行。