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

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

2022-11-18 364

Racket v8.7 已发布，Racket（原名 PLT Scheme）是一门通用、多范型，属于 Lisp 家族的函数式程序设计语言，它的设计目之一是为了提供一种用于创造设计与实现其它编程语言的平台，Racket 被用于脚本程序设计、通用程序设计、计算机科学教育和学术研究等不同领域。 Racket 有一个实现平台，包含了运行环境、函数库、即时编译器 (JIT compiler) 等等，还有提供一个以 Racket 本身写成的开发环境 DrRacket（原名 DrScheme）。

新版本主要变化

类型化的 Racket 为其渐进式类型提供了 Shallow 和 Optional 模式。这些模式降低了与非类型化代码交互的成本，但对存在缺陷的交互提供较少保护
使用 Unicode 14.0 进行字符和字符串操作，同时引入 grapheme operations。目前 DrRacket 已支持 emoji
支持 RV64G (RISC-V)
支持通过(#%declare #:require=define)禁用定义 shadowing
DrRacket 在杀死产生大量输出的程序时响应更快
scriblib/bibtex和scriblib/autobib库支持 DOIs

此外还包括许多其他的修复和改进，详情查看发布公告。

微信关注我们

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

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

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

KDE Frameworks 5.100 发布

KDE Frameworks 是一个库和软件框架的集合，可供任何基于 Qt 的软件堆栈或多个操作系统上的应用程序使用。具有经常需要的功能解决方案，如硬件集成、文件格式支持、额外的图形控制元素、绘图功能和拼写检查，该集合作为 KDE Plasma 和 KDE Gear 的技术基础，以 LGPL 发布。 KDE 近日正式发布 KDE Frameworks 5.100，部分更新内容如下：可以在 Dolphin 的路径导航栏的下拉菜单中显示隐藏文件夹。增加了一个新的选项，可以立即删除大于当前垃圾箱大小的垃圾项目使整个 KDE 应用程序的图像在 HiDPI 屏幕上更清晰、更美观 KDE Frameworks 5.100 改进了 Plasma 系统监控应用中的各种图表，不再闪烁、冻结或卡顿改进了 KDE 应用程序的启动，使它们在 "最近的文件" 列表中的文件无法访问时不再挂起更新了 Dolphin 文件管理器中安装设备的弹出按钮，该按钮在卸载可移动设备时变成了一个繁忙指示灯，这样你就知道什么时候可以安全地拔掉设备在对话框中永久删除文件的按钮已经更新为显示 "Delete Permane...

2022-11-19

366

SQLite 是一个 C 语言库，实现了一个小型、快速、独立、高可靠性、全功能的 SQL 数据库引擎。SQLite 是世界上使用最多的数据库引擎。SQLite 的源代码属于公共领域，每个人都可以免费使用，用于任何目的。 SQLite 3.40 正式发布，更新内容如下：增加对将 SQLite 编译为 WASM 和在网络浏览器中运行的支持增加恢复扩展，可能能够从损坏的数据库文件中恢复一些内容查询规划器的增强增加了一个名为 sqlite3_filename 的新类型定义，用来表示数据库文件的名称。增加了 sqlite3_value_encoding() 接口。安全性增强：增强了 SQLITE_DBCONFIG_DEFENSIVE，以禁止改变 schema_version 增强了 PRAGMA integrity_check 语句增强 VACUUM INTO 语句，使其遵守 PRAGMA 的同步设置增强了 sqlite3_strglob() 和 sqlite3_strlike() API，使它们能够为字符串参数接受 NULL 指针，并且仍然产生一个合理的结果。提供新的 SQL...

2022-11-19

493

资源下载

更多资源

优质分享App

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

腾讯云软件源

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

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等操作系统。