依赖类型语言Idris发布1.0版本

英国圣安德鲁大学讲师、Idris创建者Edwin Brady写道，在达到alpha阶段几个月之后，Idris 1.0发布。

1.0版本发布，最关键的一点是其核心语言及基础库都被认为是稳定的，就是说，将来的1.x版本应该确保源代码向后兼容。自alpha版本以来，Idris就一直致力于工具和库的支持，同时，该语言添加了新的编译指令和一个新的LinearTypes语言扩展，其中前者是为了让使用稳定性较差的特性成为可能。然而，据Brady介绍，还是有许许多多可以做贡献的地方，尤其是改进编译器和运行时效率，以及修复200多个当前正处于打开状态的Bug。

虽然Brady认为，Idris从根本上讲是一个研究工具，目前还不足以考虑在生产环境中应用，但由Brady写作并于近期出版的Manning of Type-Driven Development with Idris，其GitHub库贡献者数量的增加，以及最近的学术著作，都说明人们对于这门语言的兴趣一直在增长。这些可以看作是Idris社区开始形成的标志，虽然这样说还有点太早。InfoQ请求Brady对此发表评论，他的回复如下：

\

看到人们对Idris越来越感兴趣当然不错！虽然还有大量的工作要做，但我们已经达到了1.0版本，我们现在已经有了一门可以作为构建基础的稳定语言。我当前的目标是改进内核的效率和健壮性。

\\

我们仍然还有不少处于打开状态的问题，但是，其中有许多是关于工具和可用性，另外还有许多特性请求。如果有人想参与，则可以从那些带有“Low Hanging Fruit”标签的开始。如果任何人有任何问题，Idris社区都会尽量提供帮助。

\

Idris是一门纯粹的函数式程序设计语言，旨在为更多的程序员提供基于类型的程序验证技术，同时，还能继续专注于成为一门通用语言，并且足够高效，可以用于系统编程。想要学习Idris的读者，可以阅读这个教程。此外，务必要阅读有关依赖类型编程的利弊。

查看英文原文：Dependent-types Language Idris Reaches 1.0

依赖类型语言Idris发布1.0版本相关推荐

Rust即将发布1.0版本，Go持续获得关注：如何在新生语言之间做出抉择
没有什么比谈论一门新语言能够让程序员更加兴奋.更加固执己见的了.作为两枚冉冉升起的新星,Go和Rust让我们置身在这场旋窝之中.作为灵感相似但是动机与目标完全不同的两门语言,Go和Rust可谓都是出身 ...
开源微服务运行时 Dapr 发布 1.0 版本
作者 | Dapr 社区译者 | 敖小剑来源|阿里巴巴云原生公众号 Dapr 是 2019 年 10 月开源的分布式运行时.早在 Dapr 开源初期,阿里云就开始参与 Dapr 社区建设和代码开发 ...
CAP 发布 5.0 版本正式发布
前言今天,我们很高兴宣布 CAP 发布 5.0 版本正式版.同时我们也很高兴的告诉你 CAP 已经有越来越多的用户并且变得越来越流行. 在 5.0 版本中,我们主要致力于更好的支持 .NET 5 以 ...
「biáng biáng 面」马上可以打出来了！Unicode发布13.0版本，收录4939个生僻字
点击上方"AI遇见机器学习",选择"星标"公众号重磅干货,第一时间送达十三发自凹非寺量子位报道 | 公众号 QbitAI 有一种面条,很多人吃过,但 ...
路遥工具箱全面迁移至 .NET 6.0 并发布 3.0 版本及迁移记录详解
随着 .NET 6.0 的发布 NewLife 组件也进行了升级,并在 2022 年 1 月份全面停止了对 .NET Framework 的支持框架依赖升级至 .NET Standard 2.1 . ...
所有图表类型将在 v1.9.0 版本开始强制使用 ChartItem 进行数据项配置！
所有图表类型将在 v1.9.0 版本开始强制使用 ChartItem 进行数据项配置! 原因:我们安装的pyecharts版本是最新版本1.8.1,而很多实例是基于1.7.1版本而设计的,故而我们需要 ...
harmonyos pc,华为鸿蒙系统（HarmonyOS）9月11日发布2.0版本将打通PC、手表和车机等产品终...
原标题:华为鸿蒙系统(HarmonyOS)9月11日发布2.0版本将打通PC.手表和车机等产品终据国内媒体报道,华为鸿蒙系统(HarmonyOS)将于今年9月11日举行的华为开发者大会上发布2.0版 ...
这门国产语言终于要发布 1.0 版本了
大家好,我是张巧龙.看到标题,不知道大家想到的是什么语言? 没错,就是七牛云出品的 Go+. 2020 年 7 月 5 日,Go+ 作为一门为数据科学而生的语言,正式对外发布.如今,在经历了团队历时 ...
C 一样快，Ruby 般丝滑的 Crystal 发布 1.0 版本，你看好吗？
整理 | 寇雪芹头图 | 下载于视觉中国出品 | AI科技大本营(ID:rgznai100) 近日,编程语言 Crystal 发布了 1.0 版本. Crystal 是一种通用的.面向对象的编程语 ...
MongoDB发布4.0版本，支持ACID事务
MongoDB最近发布了最新的4.0版本. 毫无疑问,这一版本的主要特性是支持多文档ACID事务.MongoDB向与关系型数据库产品的融合迈出了一大步,现在支持会话的概念,并可以使用start_tra ...

依赖类型语言Idris发布1.0版本

依赖类型语言Idris发布1.0版本相关推荐

最新文章

热门文章