Racket v8.0 发布，Lisp 语言分支-低调大师

Racket v8.0 发布，Lisp 语言分支

2021-02-20 588

Racket 8.0 已正式发布。

Racket 8.0 标志着这是首个以 Racket CS 为默认实现的版本。创建、完善和采用 Racket CS 是整个 Racket 社区 4 年的努力。现在，Racket CS 的速度更快、更易于维护和开发，并与现有的 Racket 程序兼容。Racket CS 将继续改进，但是现在，它已经准备好成为所有 Racketeers 的主要变种。点此查看更多关于 Racket CS 现状的细节。

其他值得关注的变化：

Racket CS 具有更好的并行垃圾回收功能，生成的代码大小减少 10%-30%，并进行了多项针对性的优化
重写 test-engine 包，允许教学语言的#lang版本生成链接的测试失败消息
该版本附带了一个新的标记 DSL，用于组成文本出现在 REPL 中 (simple-tree-text-markup)
Redex 新增了define-overriding-judgment表单，并改进了错误源位置报告
Windows 滚动速度由系统偏好设置决定
db 软件包将 utf8mb4 字符集用于 MySQL 连接

Racket（原名 PLT Scheme）是一门通用、多范型，属于 Lisp 家族的函数式程序设计语言，它的设计目之一是为了提供一种用于创造设计与实现其它编程语言的平台，Racket 被用于脚本程序设计、通用程序设计、计算机科学教育和学术研究等不同领域。

Racket 有一个实现平台，包含了运行环境、函数库、即时编译器 (JIT compiler) 等等，还有提供一个以 Racket 本身写成的开发环境 DrRacket（原名 DrScheme）。

微信关注我们

原文链接：https://www.oschina.net/news/130546/racket-v8-0-released

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

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

Kodi 19 正式发布，开源媒体播放器

Kodi 是由 XBMC 基金会开发的开源媒体播放器，原名 XBMC（最后一个以 XBMC 命名的版本是 13.2 Gotham，14.0 Helix 是第一个以 Kodi 命名的版本），Kodi 可以运行在多种操作系统和硬件平台。它可以让用户播放本地或网络存储设备中的大多数视频、音乐、播客及各种常见数位媒体文件。该软件最初是为计划运行在 Xbox 上的，名称也由此而来。随后有了 Android、Linux、BSD、macOS、iOS 和 Windows 操作系统的原生版。 Kodi 19 正式发布，以下是本次更新值得关注的地方：插件现在必须以 Python 3 构建插件 Kodi 现在将强制已安装插件及其依赖项的来源。这样做是为了防止第三方存储库以不相关的加载项覆盖代码，这是过去产生大量错误报告的原因。视频更新 AV1 编解码器的软件解码。AV1 是新型的开源视频编解码器，Netflix 和 Google 等大公司正在对其进行测试。它的效率比 H.265 高 30％，并且有望成为将来视频流的标准。改进的字幕具有深灰色。提供字幕 URI 的能力音频更新改进了对多磁盘 ...

2021-02-21

1262

pgBadger 11.5 已经发布。pgBadger 是 PostgreSQL 的日志分析工具，可以基于 PostgreSQL 日志文件提供详尽的性能分析报告，旨在提高性能和效率。该版本是一个维护版本，修复了用户在过去三个月内报告的问题，并进行了一些优化。主要更新内容添加有关会话空闲时间的报告，该报告的计算方式为：“总会话时间-总查询时间/会话数。这要求已启用 log_connection 和日志断开连接，并且设置log_min_duration_statement=0（记录所有查询），才能得出可靠的值。有助于了解丢失了多少空闲时间，以及池交易模式是否有用。此报告位于“全局统计”的“会话”标签和“常规活动”报告的“会话”标签中添加数值的匿名化，由 4 个随机数字代替更新基于 pgFormatter 5.0 的 SQL 美化器修复对 Google CloudSQL 日志文件多行语句的解析在 Heroku logplex 日志行前缀中增加对微秒的支持在耗时准备和绑定报告中添加参数匿名化为 jsonlog 格式的多行语句添加支持修复被 maxlength 截断破坏的匿名化...

2021-02-21

637

资源下载

更多资源

腾讯云软件源

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

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文件系统，支持十年生命周期更新。

Sublime Text

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