Linux 版 Idris-dev 下载

这是名为 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 中,以便通过我们的免费操作系统之一以最便捷的方式在线运行。



最新的 Linux 和 Windows 在线程序


下载适用于 Windows 和 Linux 的软件和程序的类别