OCaml 4.09.0 发布，函数式编程语言-低调大师

OCaml 4.09.0 发布，函数式编程语言

2019-09-21 846

OCaml 是一种快速、简洁、而强大的应用程序开发语言，开发工具包含交互式顶层解释器，字节码编译器以及最优本地代码编译器。Ocaml 有一个巨大标准库，使得可以像 Python 或者 Perl 语言一样可以方便地开发各种应用程序。4.09.0 版本亮点如下：

新的优化，特别是匹配中的 affine functions（仿射函数），如下：

type t = A | B | C
    let affine = function
      | A -> 4
      | B -> 3
      | C -> 2

graphics 库已从编译器发行版中删除
vmthread 库被删除
取消对编译器插件的支持
还有许多修复

完整列表见更改日志：

http://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes

微信关注我们

原文链接：https://www.oschina.net/news/110041/ocaml-4-09-0-released

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

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

TinyGo 0.8.0 发布，Go 编译器

TinyGo是一个 Go 编译器，旨在用于微控制器，WebAssembly（WASM）和命令行工具等小型场景，基于LLVM。0.8.0版本增加了对 itsybitsy M4 的支持，还添加了对 GameBoy Advance 的一些初步支持。 command line：修复 GO beta 版本的解析问题编译前检查 Go 的主要/次要安装版本 -target验证标记能更好地解决无效目标问题 compiler：修复在接口中存储链接列表时的崩溃修复在IR生成中的bug 实现slice表达式添加支持reflect 数据中的链接列表 standard library： reflect：实现对数组类型的支持，添加支持t.Bits()和t.AssignableTo()，实现t.Align()和 t.Comparable()，添加对struct 类型的支持，添加常见的测试日志记录方法，例如 Errorf/Fatalf/Printf 等等更多内容见发布说明： https://github.com/tinygo-org/tinygo/releases/tag/v0.8.0

2019-09-22

952

NetBox 是一个 IP 地址管理（IP address management，IPAM）和数据中心基础设施管理（data center infrastructure management，DCIM）工具。2.6.4版本更新内容如下：为接口 VLAN 分配添加批量编辑为设备添加local_context_data布尔过滤器在编辑接口时启用内联 VLAN 分配为 IPNetworkVar 添加最小/最大前缀长度限制修复：修复自定义表单脚本上复选框的渲染修复在创建前/后端口时标记的分配当渲染自定义表单脚本时，标签TextVar字段问题修复详情见发布说明： https://github.com/netbox-community/netbox/releases/tag/v2.6.4

2019-09-22

797

资源下载

更多资源

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

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