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

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

2021-10-23 566

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

Bug 修复：

修复类型推断为类型同义词推断错误类型的情况（#4184）
在与声明冲突的情况下正确重命名模块导入（#4188）

Internal：

修复命令并澄清发布指南中的其他一些要求（#4177）
为Language.PureScript.CoreFn.Module添加Functor实例。（#4186）

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

微信关注我们

原文链接：https://www.oschina.net/news/165562/purescript-0-14-5-released

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

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

Calibre 5.30 发布，功能强大的开源电子书工具

Calibre 开源项目是 Calibre 官方出的电子书管理工具。它可以查看，转换，编辑和分类所有主流格式的电子书。Calibre 是个跨平台软件，可以在 Linux、Windows 和 macOS 上运行。 Calibre 5.30 现已发布，此次更新内容如下： New features 添加对新 Kobo Sage 和 Libra 2 电子书阅读器设备的支持 E-book viewer：Read aloud：允许右键单击播放/暂停阅读 Sending books by e-mail：在附加文件名中保留非英文字符 Tab browser：允许通过右键单击来搜索子类别 Bug fixes E-book viewer：修复在分页模式下，每屏显示多于一页时，封面和全屏图像不居中的问题 ToC Editor：忽略连续点击 OK 和 Cancel 按钮以避免在完成创建新条目时意外关闭窗口 Comments editor：修复格式按钮未正确显示当前状态问题，并修复当单个窗口中存在多个 comments editor 时某些键盘快捷键不起作用 Tag browser：修复虚拟库中用户类别的重命名...

2021-10-24

567

Ghost 4.18.0 发布了，Ghost 是一个能帮助你快速建立并运行的现代化在线写作平台。它驱动着博客、杂志以及像 Zappos 和 Sky News 等新闻媒体。 Ghost 的编辑环境基于 Markdown ，所有已发布的内容都会存放在一个易于搜索的存档中，可供快速查找。它使用起来很简单，点几下就可以完成添加 logo、创建导航菜单和注入代码等操作。 Ghost4.20.0 主要更新内容加入了设置自定义主题的功能。#13661 为Ghost - Fabien O'Carroll 提供优惠功能。通过路由懒加载（lazy loading routes），改进了 Ghost 的启动时间和内存使用。修复了发布菜单里面，发布的消息和实际发送的消息不一样的问题。修复了插入的URL 不能正确转换的问题。#13618 修复了关闭发布菜单时，发布按钮未重置回 “发送” 状态的问题。更新公告：https://github.com/TryGhost/Ghost/releases/tag/v4.20.0

2021-10-24

550

资源下载

更多资源

优质分享App

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

腾讯云软件源

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

Nacos

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

Rocky Linux

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