1. XenForo 1.5.14 中文版——支持中文搜索！现已发布！查看详情
  2. Xenforo 爱好者讨论群：215909318 XenForo专区
XenForo 1.5.14 中文版 Xenforo 爱好者

新闻 Idris 2 version 0.6.0 发布，类 Haskell 的纯函数编程语言 下载

Discussion in '软件资讯' started by 漂亮的石头, 2022-11-01.

  1. 漂亮的石头

    漂亮的石头 版主 Staff Member

    Joined:
    2012-02-10
    Messages:
    488,169
    Likes Received:
    47
    Idris 2 发布了 0.6.0 版本。更新内容包括 REPL 变更、语法变更、编译器变更、IDE 协议变更和标准库变更等。 Idris 是一个类似 Haskell 的纯函数编程语言，类型系统支持 dependent types。 依赖模式匹配的依赖类型系统 简单的 C 函数接口 编译器级别的编码支持 where 语句，with 规则，简单的 case 表达式，模式匹配 le...
    Idris 2 version 0.6.0 发布，类 Haskell 的纯函数编程语言下载地址
     
    漂亮的石头, 2022-11-01
    #1
Loading...