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

Idris 2 v0.4.0 发布，类 Haskell 的纯函数编程语言

2021-06-24 623

Idris 2 v0.4.0 发布。此版本主要变化包括语法变更、编译器变更、REPL/IDE 模式变更、库的变更，以及 API 变更等。

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 的交互环境

语法变化

带 """ 分隔符的多行字符串 (#1097)
使用 with 关键字后强制严格缩进 (#1107)
参数块 (parameter block) 的语法已更新。它现在允许声明隐式参数并为参数提供多重性，旧语法仍可用于兼容性目的，但将来会被删除
添加对 SnocList 语法的支持： [< 1, 2, 3] desugars into Lin :< 1 :< 2 :< 3，以及高亮显示

编译器变化

添加更多优化和转换，特别是在 case 块、列表型的类型和枚举上，因此生成的代码通常会稍微快一点
添加--profile标志，如果后端支持，则会生成配置文件数据。目前由 Chez 和 Racket 后端支持
添加了一个环境变量IDRIS2_PACKAGE_PATH用于扩展查找包的位置
实验性标志 (-Xcheck-hashes) 用于检查散列而不是文件系统时间以确定是否应重新编译文件，这将助于 CI/CD 缓存

详情查看 Changelog。

微信关注我们

原文链接：https://www.oschina.net/news/147605/idris2-0-4-0-released

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

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

Spring Boot 2.4.8 发布

Spring Boot 2.4.8 现已发布。此版本包括 33 个错误修复、文档改进和依赖项升级。主要更新内容 EnvironmentPostProcessors 未使用正确的 ClassLoader 进行实例化将不存在的类的名称绑定到 Class<?> 属性时失败处理 “spring.config.import” 属性时仍应发生特定于配置文件的解析如果已设置 kotlin.version 额外属性，则不应读取 Kotlin 插件的版本禁用自动计时时 MetricsClientHttpRequestInterceptor 中的内存泄漏在依赖于 org.springframework.boot:spring-boot-configuration-processor 的项目中使用配置缓存时，Gradle 构建失败并显示 “不支持在执行时调用 ‘Task.project’” 在类路径上使用带有 spring.flyway.url 或 spring.liquibase.url 且没有 spring-jdbc 的 Flyway 或 Liquibase 时，应用程序无法启动...

2021-06-25

782

v1.3.3 新特性增加图片b64格式返回更新最新客户使用人数 33W+ fixbug Java代码生成本地endpoint路径问题 fast-poster通用海报生成器简介快速：三步完成海报开发工作：启动服务>编辑海报>生成代码简单：组件丰富、支持拖拽、复制、所见即所得、下载等功能。动态：无需更改代码，直接在编辑器修改海报即可获得最新的海报。相关链接感兴趣的小伙伴，不妨给个star，⭐️⭐️。在线体验代码仓库-github 代码仓库-gitee 快速运行 docker run --name fast-poster -p 9001:9001 tangweixin/fast-poster 效果展示设计器代码生成至此，海报部分开发完成，将代码嵌入业务代码即可。

2021-06-25

643

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

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应用均可从中受益。