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

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

2023-03-07 378

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-08

357

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-08

498

资源下载

更多资源

优质分享App

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

Mario

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

Rocky Linux

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

Sublime Text

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