OCaml 诞生 25 周年-低调大师

OCaml 诞生 25 周年

2021-05-11 685

编程语言 OCaml 已诞生 25 周年。

OCaml 最初称为 Objective Caml。25年前，即1996年5月9日，Objective Caml 语言 1.0 版本正式发布，它是 Caml 编程语言的主要实现，由 Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy 及其他人共同创立。

据核心维护者和作者之一 Xavier Leroy 介绍，彼时发布的 Objective Caml 1.0 版本已经是多年工作的成果，它整合了 Jérôme Vouillon 和 Didier Rémy 在 Caml Special Light 中关于对象和类的工作，此外还包括 Xavier 在模块和本地代码编译方面的工作与 Caml Light 早期代码的结合，特别是 Damien Doligez 的 GC。

Xavier 表示自己想不到 OCaml 会坚持了 25 年，而且这期间也发生了许多事情，包括语言的几次重大演变，以及更重要的是，OCaml 有了自己的用户社区以及工具和库生态。

虽然 OCaml 略显小众，但它在许多细分领域中非常受欢迎。例如，WebAssembly 参考解释器使用了 OCaml 编写。另外，Stack Overflow 2018 年的开发者调查报告显示，薪水最高的语言也包括 OCaml，开发者的平均薪水超过 7 万美元。

微信关注我们

原文链接：https://www.oschina.net/news/141002/ocaml-25yr

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

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

GitHub 现在支持 FIDO2 安全密钥

GitHub 新提供了在进行 SSH Git 操作时使用 FIDO2 安全密钥的支持，以增加对账户的保护。两年前，北卡罗来纳州立大学（NCSU）的研究人员发现，在近 6 个月内扫描了大约 13% 的 GitHub 公共存储库后，有超过 10 万个 GitHub 存储库泄露了 API 令牌和加密（SSH 和 TLS）密钥。更糟糕的是，他们还发现，每天还有数以千计的新存储库也在泄露安全隐私。为了进一步提高 GitHub 账户的防盗能力，GitHub 现在支持 FIDO2 安全密钥，用户可以使用便携式 FIDO2 设备进行 SSH 认证，以确保 Git 操作的安全，并防止私人密钥意外暴露和恶意软件未经批准而发起请求。并且，GitHub 建议用户用安全密钥支持的 SSH 密钥替换所有之前注册的 SSH 密钥，这样可以保证用户是唯一能够通过 SSH 管理项目的 Git 数据的人。此外，GitHub 会自动从用户的账户中删除不活跃的 SSH 密钥（超过一年未使用）。去年 12月，GitHub 就宣布，从 2021 年 8 月开始，其将切换到基于令牌的认证，届时账户密码将不再被接受用于认证 ...

2021-05-11

522

苹果在iOS 14.5中加入了App跟踪透明度功能，这个功能被认为可能是改变App广告行业及隐私安全的重磅新功能。根据功能介绍，App跟踪透明度可让您控制哪些App可在其他公司的App和网站中跟踪您的活动以提供广告或共享给数据代理商。苹果表示，这个功能主要是让用户对自己分享的数据有更多主控权，也能更清楚地了解到这些数据的用途。 iOS 14.5发布一周后，市场调研机构Flurry Analytics对北美250万用户进行抽样调查，其中只有4%的用户允许App广告跟踪。至于这个功能是打开还是关闭比较好?按照苹果官方的说法：停用“允许App请求跟踪’后，任何尝试请求权限的App将被禁止询问并自动收到您要求不跟踪的信息。如果是操作失误点了允许App跟踪，则可以打开跟踪功能，将这个App的跟踪权限关闭即可。因此，这个功能默认关闭就行。目前，很多用户都表示升级后无法正常打开/关闭App跟踪透明度。如果你操作失误允许了某个App的广告跟踪权限，又想关闭它的话。小编给大家分享一个暂时打开隐私跟踪权限的方法：我们只要打开设置--点Apple ID--再点媒体与购买项目--退出登录。接着再打开隐私...

2021-05-11

544

资源下载

更多资源

腾讯云软件源

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

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