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

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

2021-02-20 608

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

1285

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

658

资源下载

更多资源

优质分享App

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

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