PureScript v0.15.8 发布，小巧而强大的静态类型语言-低调大师

PureScript v0.15.8 发布，小巧而强大的静态类型语言

2023-03-07 419

PureScript v0.15.8 发布了。PureScript 是个小巧而强大的静态类型语言，可以编译成 JavaScript。PureScript 主要是由 Haskell 和 PureScript 编写的。

新功能：

生成的文档现在支持 dark 模式（#4438)。PureScript 文档有一个新的 dark 主题可用。它将根据你的浏览器或系统的配色方案偏好自动使用。

Bug 修复：

修复 instance deriving regression（#4432)
当类型不匹配时输出 type-error 发生的 label（#4411)
检查值声明时考虑 typed holes（#4437)。现在，编译器在为类型检查的值声明排序时会考虑 typed holes，从而允许建议更多 top-level values，而不是受限于 reverse lexicographical ordering。

Given:

module Main where

newtype K = K Int

aRinku :: Int -> K
aRinku = K

bMaho :: K
bMaho = ?help 0

cMuni :: Int -> K
cMuni = K

dRei :: Int -> K
dRei _ = bMaho

Before:

  Hole 'help' has the inferred type
          
    Int -> K
          
  You could substitute the hole with one of these values:
                         
    Main.cMuni  :: Int -> K
    Main.K      :: Int -> K

After:

  Hole 'help' has the inferred type
          
    Int -> K
          
  You could substitute the hole with one of these values:
                          
    Main.aRinku  :: Int -> K
    Main.cMuni   :: Int -> K
    Main.K       :: Int -> K

Other improvements：

将 Stackage snapshot 升级到 lts-20.9，将 GHC 升级到 9.2.5（#4422、#4428 和 #4433)

Internal：

将 license/changelog scrips 更新到最新的 Stack 解析器（#4445)

更新说明：https://github.com/purescript/purescript/releases/tag/v0.15.8

微信关注我们

原文链接：https://www.oschina.net/news/231610/purescript-0-15-8-released

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

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

Redmine 4.2.10 和 5.0.5 发布

Redmine 4.2.10 和 5.0.5 现已发布。Redmine 是一个网页界面的项目管理与缺陷跟踪管理系统的自由及开放源代码软件工具。它集成了项目管理所需的各项功能：日历、燃尽图和甘特图以协助可视化表现项目与时间限制，问题跟踪和版本控制。此外，Redmine 也可以同时处理多个项目。这 2 个维护版本包含一些安全修复程序，具体更新内容包括：将 copyright 年份更新为 2023 年 Example plugin (extra/sample_plugin) 破坏Activity page Commonmarker 0.23.8 测试失败允许使用 Puma 6.0.0 或更高版本更新 RBPDF 到 1.21 重构：在 GroupsController 中使用 Group.visible 而不是手动可见性检查 Time Entry Import无法导入具有“User”格式的自定义字段提及带有某些字符的用户时呈现不正确当所有的 issue 日志都有注释和属性变化时，"Property changes"标签不会出现从 Redmine 生成的 PDF 中复制时字符不正...

2023-03-07

391

Rescuezilla 是基于 Ubuntu 的专业 Linux 发行版，主要用于系统修复等救援工作。它有极其易于使用的图形环境，包括完整的系统备份、裸机恢复、分区编辑、取消删除文件、Web 浏览等功能。目前 Rescuezilla 2.4.2 发布了，该版本带来如下更改：删除了为 v2.3 (2021-12-24) 引入的 Intel 屏幕撕裂修复程序，该修复程序应修复 Intel 显卡上的黑屏 ( #281 ) 引入 Ubuntu 22.10 (Kinetic) 以获得对最新硬件的最佳支持，但将默认构建保留为 Ubuntu 22.04 (Jammy) 重新引入 32 位（Intel i386）构建，目前基于 Ubuntu 18.04（仿生）（#232），在 Rescuezilla v2.0 中暂时删除注意：Partclone 向后兼容性不完善，32 位版本使用旧的 Ubuntu 存储库 partclone 版本，而不是最新编译版本修复了 v2.4 中引入的备份模式损坏的 SSH 端口字段 ( #385 ) 安装 lxappearance（#274）、hexdump（bsdm...

2023-03-07

572

资源下载

更多资源

腾讯云软件源

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

Spring

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

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。