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

新闻 Idris 0.99.2 发布，类似 Haskell 的纯函数编程语言 下载

本帖由 漂亮的石头 于 2017-04-01 发布。版面名称：软件资讯

  1. 漂亮的石头

    漂亮的石头 版主 管理成员

    注册:
    2012-02-10
    帖子:
    487,979
    赞:
    47
    Idris 是一个类似 Haskell 的纯函数编程语言，类型系统支持 dependent types。

    Idris 0.99.2 主要是一些 bug 修复，并给即将到来的 1.0 版本做一些预改进。 更新内容如下：

    Library Updates


    • 添加 Data.Buffer 到 base. 允许对 Bits8 的可变缓冲区进行基本操作，包括读取和写入文件。

    Tool Updates


    • Idris 现在检查在命令行指定的软件包列表中安装的软件包。如果有不匹配的，则提醒。

    Miscellaneous Updates


    • 新 Control.ST 库文档更新


    • 各种稳定性/效率修复

    下载地址：

    Idris 0.99.2 发布，类似 Haskell 的纯函数编程语言下载地址
     
    漂亮的石头, 2017-04-01
    #1
正在加载...