首页 文章 精选 留言 我的

精选列表

搜索[交互式分支],共9589篇文章
优秀的个人博客,低调大师

Racket v8.8 发布,Lisp 语言分支

Racket v8.8 已发布,Racket(原名 PLT Scheme)是一门通用、多范型,属于 Lisp 家族的函数式程序设计语言,它的设计目之一是为了提供一种用于创造设计与实现其它编程语言的平台,Racket 被用于脚本程序设计、通用程序设计、计算机科学教育和学术研究等不同领域。 Racket 有一个实现平台,包含了运行环境、函数库、即时编译器 (JIT compiler) 等等,还有提供一个以 Racket 本身写成的开发环境 DrRacket(原名 DrScheme)。 新版本主要变化 依赖契约表单->i支持 #:param 元素,该元素指定在函数调用的动态范围内设置的参数值的依赖关系 copy-file库函数支持权限管理参数 在 DrRacket 的交互窗口中按 <SHIFT>-return 可以更轻松地编辑和输入表达式,而无需将它们发送给评估 “如何设计程序”教学语言中的数字比较运算符(= 等)至少需要两个参数 在某些多行情况下使用自定义渲染时,Redex 改进了排版 修复了许多错误,并编写了大量文档 此外还包括许多其他的修复和改进,详情查看发布公告。

优秀的个人博客,低调大师

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

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 此外还包括许多其他的修复和改进,详情查看发布公告。

优秀的个人博客,低调大师

Racket v8.6 发布,Lisp 语言分支

Racket v8.6 已发布,Racket(原名 PLT Scheme)是一门通用、多范型,属于 Lisp 家族的函数式程序设计语言,它的设计目之一是为了提供一种用于创造设计与实现其它编程语言的平台,Racket 被用于脚本程序设计、通用程序设计、计算机科学教育和学术研究等不同领域。 Racket 有一个实现平台,包含了运行环境、函数库、即时编译器 (JIT compiler) 等等,还有提供一个以 Racket 本身写成的开发环境 DrRacket(原名 DrScheme)。 新版本主要变化 此版本使用了新的构建系统 Zuo,根据面向语言编程 (Language Oriented Programming, LOP) 的思想,它被实现为一种小语言。此实现只有一个 C 文件(加上用 Zuo 实现的库),所以它很容易编译。zuo/build 库是以 make 和 Shake 为模型的,用于跟踪依赖关系和构建步骤 支持模板向量 (stencil vector) 支持运行 Windows 的 Arm64 设备 Redex 支持同步替换 (simultaneous substitutions) Web 服务器通过其“safety limits”结构提供了对最大并发连接数的控制 Web 服务器改进了日志记录性能和请求解析性能,降低了尾部延迟 (tail latencies) Web 服务器通过 web-server/dispatchers/dispatch-logresp 支持记录响应状态代码 db 库支持 PostgreSQL 连接的自定义类型 详情查看发布公告。

优秀的个人博客,低调大师

Racket v8.5 发布,Lisp 语言分支

Racket v8.5 已发布,Racket(原名 PLT Scheme)是一门通用、多范型,属于 Lisp 家族的函数式程序设计语言,它的设计目之一是为了提供一种用于创造设计与实现其它编程语言的平台,Racket 被用于脚本程序设计、通用程序设计、计算机科学教育和学术研究等不同领域。 Racket 有一个实现平台,包含了运行环境、函数库、即时编译器 (JIT compiler) 等等,还有提供一个以 Racket 本身写成的开发环境 DrRacket(原名 DrScheme)。 新版本主要变化 Racket 的新-yflag 会自动使编译后的文件保持最新状态,从而减少后续加载时间。 错误消息领域允许 Racket 托管的语言适应和重写错误消息以在特定上下文中有意义。 非特权用户可以使用插件目录中的“其他版本”目录来控制软件包安装范围。 Racket CS 可在当前不支持本地代码生成的平台上运行(例如,s390x 或 ppc64)。有关要配置的 —enable-pb flag的更多信息,参阅源分发中的“README.txt”。 DrRacket 引入了新的“重新打开关闭的选项卡”文件菜单项 Typed Racket 支持xml库;使用typed/xml Rackunit 以 Typed Racket 语言报告失败测试用例的源位置。 对于手动配置 Racket CS 使用 Zlib 压缩编译代码的用户,已修复 CVE-2018-25032 漏洞;下一个版本和当前的快照版本使用更新、更安全的 zlib 版本。 许多其他修复和更改 详情查看发布公告。

优秀的个人博客,低调大师

Racket v8.2 发布,Lisp 语言分支

Racket v8.2 现已发布,具体更新内容如下: Racket CS 改进了大整数算法的性能。 Racket 改进了对分层和 tethered installation的支持。 Racket CS 通过 ffi/unsafe 支持nonatomic allocation。 交叉编译完全与raco cross工具一起工作,该工具作为“raco-cross”包单独分发。 DrRacket 在编辑包含大位图的图片文件时的性能改进。 Typed Racket 更加一致地优化非多态结构的字段类型。 值的打印在教学语言实现和步进器中是统一的。 Racket(原名 PLT Scheme)是一门通用、多范型,属于 Lisp 家族的函数式程序设计语言,它的设计目之一是为了提供一种用于创造设计与实现其它编程语言的平台,Racket 被用于脚本程序设计、通用程序设计、计算机科学教育和学术研究等不同领域。 Racket 有一个实现平台,包含了运行环境、函数库、即时编译器 (JIT compiler) 等等,还有提供一个以 Racket 本身写成的开发环境 DrRacket(原名 DrScheme)。 更新说明:https://blog.racket-lang.org/2021/07/racket-v8-2.html

优秀的个人博客,低调大师

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

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)。

优秀的个人博客,低调大师

Sparkylinux 2019.09 发布,基于 Debian 的测试分支

SparkyLinux 是在 Debian GNU/Linux 操作系统之上创建的 GNU/Linux 发行版。主要设计用于在老的计算机上运行,使用 Enlightenment 和 LXDE 桌面环境。更改如下: 从 debian 测试“Bullseye”恢复到 2019 年 9 月 1 日升级的系统 修复了高级安装程序中的问题,它没有在非根分区上设置主分区,并且没有格式化选项 用 Firefox 最新版本取代 Firefox-ESR GCC 9 现在是默认编译器,GCC 8 已删除 Calamares installer 3.2.13 Linux kernel 5.2.9 Xfce 4.14 LXQt 0.14.1 Openbox 3.6.1-8 相关截图: 发布说明: https://sparkylinux.org/sparky-2019-09/

资源下载

更多资源
腾讯云软件源

腾讯云软件源

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

Rocky Linux

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

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

WebStorm

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源,继承了IntelliJ IDEA强大的JS部分的功能。

用户登录
用户注册