Idris 2 version 0.6.0 发布，类 Haskell 的纯函数编程语言-低调大师

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

2022-10-31 416

Idris 2 发布了 0.6.0 版本。更新内容包括 REPL 变更、语法变更、编译器变更、IDE 协议变更和标准库变更等。

Idris 是一个类似 Haskell 的纯函数编程语言，类型系统支持 dependent types。

依赖模式匹配的依赖类型系统

简单的 C 函数接口

编译器级别的编码支持

where 语句，with 规则，简单的 case 表达式，模式匹配 let 和 lambda 绑定

Dependent records with projection and update

Type classes

类型驱动的重载方案

do notation and idiom brackets

缩进语法

可扩充的语法

Cumulative universes

整体验证

类似 Hugs 的交互环境

主要变化

引入新的基于 Scheme 的实验性 evaluator（只有在通过 Chez scheme 或 Racket 编译时才可以使用）。如需在 REPL 中访问此功能，使用:set eval scheme将 evaluator 模式设置为基于 Scheme 的 evaluator。
引入新选项evaltiming，用于计算 REPL 中的评估所需时间，通过:set evaltiming进行设置
将:lp/loadpackage重命名为:package
新增:import，其功能与:module相同
新增通过:help <replCmd>获取详细帮助的功能，例如:help :help或:help :let。这也适用于:?和:h别名

详情查看 Changelog。

微信关注我们

原文链接：https://www.oschina.net/news/215913/idris-2-version-0-6-0-released

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

GNU Make 4.4 已发布

继 2020 年 1 月推出 GNU Make 4.3 之后，GNU make 4.4 发布了。make 是一个 Linux 实用工具，可以自动判断程序的哪一部分需要重新编译，它是很多自由软件项目广泛使用的自动化构建工具。 GNU Make 4.4 的众多更改包括： GNU Make 4.4 弃用了 OS/2 (EMX)、AmigaOS、Xenix 和 Cray，并计划在下一个版本中删除这些目标。 GNU Make 将在更多情况下使用临时文件。新的 .WAIT 特殊目标。GNU Make 将等待列表中 .WAIT 左侧的所有目标完成，然后再启动 .WAIT 右侧的目标。在 Linux 系统或其他暴露 /proc/loadavg 的系统上改进了对 -l / --load-average 的支持。GNU Make 将使用暴露的平均负载来确定可运行作业的数量，并避免使用启发式方法。 GNU Make 4.4 添加了一个“--shuffle”选项。shuffle 命令行选项可重新排序目标和先决条件，以模拟在并行构建期间可能出现的不确定性。shuffle 模式可以用作 GNU Make 并行...

2022-11-01

455

KeePassXC是由 KeePass 密码管理器的一个分支发展而来的，相比原版 KeePass，KeePassXC 除了适配 Windows，还适配了 Linux 和 macOS。通过KeePassXC可以存储和管理个人的敏感信息。保存在 KeePassXC 上的信息全部都会进行离线加密，借助于云存储服务可以实现跨平台同步。 KeePassXC 2.7.4 发布，本次更新内容如下：变化增加 2 个月的到期预设 CLI：在 Windows 上添加 Unicode 支持修复修复 macOS 上解锁数据库时的崩溃修复预览面板中的密码显示修复在条目预览面板中点击链接的问题防止在没有结果的情况下搜索过期条目浏览器：恢复导致连接问题的代码浏览器：修复 Linux 下的 socket 文件符号链接 Flatpak：修复启动浏览器代理服务 SSH 代理：修复 Windows 上的 paegent 支持更多详情可查看：https://github.com/keepassxreboot/keepassxc/releases

2022-11-01

441

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。