OCaml 4.11.0(Objective Caml)已经发布。OCaml 是 Caml 编程语言的主要实现,Caml 是函数式编程语言,OCaml 将 Caml 语言在面向对象方面做了延展,它的扩展语言还有基于微软 .net 平台的 F# (fsharp) 语言。Caml 的代码大多可以在 F# 中使用。

官方表示该版本专门用于纪念 Blaise Pascal(布莱士 帕斯卡,压强单位“帕斯卡”即以他的名字命名)。帕斯卡是法国数学家、物理学家、哲学家、散文家,逝世于 1662 年 8 月 19 日。他在计算机科学方面的贡献主要包括设计并制作了一台能自动进位的加减法计算装置,被称为是世界上第一台数字计算器,为以后的计算机设计提供了基本原理;以积分学的原理解决了摆线问题,对莱布尼茨建立微积分学有很大启发等。

此版本亮点包括:

新的统计内存分析器 Statmemprof

新的检测运行时,以标准格式记录运行时统计信息

新的 RISC-V 架构的本地后端

改进引用函数名的回溯

支持递归和尚未封装的类型

ppxs 引用扩展语法

详情查看更新说明:

转自 https://www.oschina.net/news/118039/ocaml-4-11-0-released?utm_source=old_idx

linux 延展集群如何设置,OCaml 4.11.0 发布,将函数式语言 Caml 在面向对象上进行延展...相关推荐

  1. linux集群无密码访问,Linux服务器集群通过SSH无密码登录

    SSH 无密码授权访问slave集群机器 1. 安装SSH,所有集群机器,都要安装SSH 环境介绍: Master : CNT06BIG01 192.168.3.61 SLAVE 1: CNT06BI ...

  2. Linux LB 集群知识、如何用 LVS 方式实现 LB 集群?

    LB负载均衡的目的是为了提高访问的并发性和服务器的性能.实现 LB 的方式主要有软件方式和硬件方式.软件方式实现的软件有LVS工作于传输层.nginx工作于应用层haproxy工作于传输层和应用层硬件 ...

  3. Linux服务器集群系统(一)--转

    引用地址:http://www.linuxvirtualserver.org/zh/lvs1.html LVS项目介绍 章文嵩 (wensong@linux-vs.org) 2002 年 3 月 本文 ...

  4. Linux仿真运算集群,fluent DPM Linux计算集群运行报错 - 计算模拟 - 小木虫 - 学术 科研 互动社区...

    计算对象是一个三维圆柱在空间中做简谐运动,计算域顶面有离散相入射. DPM设置为面入射,按rosin预设函数分布,unsteady particle track, 按0.001s的粒子时间步计算(计算 ...

  5. 基于Linux的集群系统(五) Linux集群系统的实现

    1.设计目标 设计一个基于Linux的集群系统,它能够提供负载平衡的功能.系统能够不断监视集群中各台实际服务器的负载状况,并且将来自外部网的多种请求转发到内部网中的某一台实际服务器上执行. 具体来说, ...

  6. Linux 高性能计算集群(六)BeoWulf

    概述 1 集群 1.1 什么是集群 简 单的说,集群(cluster)就是一组计算机,它们作为一个整体向用户提供一组网络资源.这些单个的计算机系统就是集群的节点(node).一个理想的 集群是,用户从 ...

  7. linux服务器集群管理面板,AppNode-Linux 服务器集群管理面板安装教程

    有关 Linux 面板我们已经说过几个了,如果你手里有很多 Linux 服务器怎么去管理呢,目前这几款中文面板都不具备集中管理功能.今天介绍一款定位于服务器运维管理的AppNode,一款Linux 服 ...

  8. Linux部署集群入门

    Linux部署集群入门 1.克隆虚拟机 直接复制已有的虚拟机的文件夹复制及可 2.配置网卡和ip地址 2.1配置网卡 2.2 配置ip地址 2.3 重启!!! 3.关闭防火墙 4.关闭seLinux ...

  9. Linux服务器集群LVS

    本文主要介绍了Linux服务器集群系统–LVS(Linux Virtual Server),并简单描述下LVS集群的基本应用的体系结构以及LVS的三种IP负载均衡模型(VS/NAT.VS/DR和VS/ ...

最新文章

  1. 愿...统一沟通...易行天下!
  2. linux 文本搜索命令 grep egrep fgrep 区别
  3. 解决Android Studio由于版本问题不识别import android.support.v7.app.AppCompatActivity;
  4. springcloud配置文件上传大小_SpringCloud实战二-Nacos
  5. Winform中设置ZedGraph鼠标悬浮显示线上的点的坐标并自定义显示的内容
  6. powerdesigner mysql 反引号_PowerDesigner实用技巧小结 及 导出word,想字段顺序跟模型中一致,如何设置...
  7. SpringBoot 整合 Redis 哨兵机制_01
  8. 技术人的 40 岁,真的不惑了吗?
  9. [物理学与PDEs]第1章习题14 求解 rot 方程
  10. janusgraph源码分析1-下载编译启动
  11. 精密电阻选购及换算方法
  12. arccos c语言,[蓝桥杯][算法提高VIP]求arccos值 (C语言代码)
  13. 不能设置 19寸显示 屏分辨率为 1440*900 的神器到来了
  14. python如何下载安装spacy_SpaCy下载及安装
  15. 上计会青少年算法竞赛3月月赛
  16. iOS截屏后仿今日头条实现一键分享
  17. 企业微信hook接口,协议开发,群操作功能教程
  18. 蛋白质组学研究的经典方法:双向电泳技术解读
  19. linux 英语翻译软件下载,英语翻译神器下载
  20. BIOS实战之读取文件

热门文章

  1. MVC3.0 如何点击点击一张图片连接到另一地址
  2. 1 企业实战(3) Redis服务部署和配置详解 (资源)
  3. KINGBASE人大金仓数据库安装配置手册
  4. Ubuntu中恢复rm命令误删文件
  5. Zabbix添加网络设备
  6. E: Unable to fetch some archives, maybe run apt-get update or try with --fix-missing?
  7. 【Oracle】数据库热备
  8. 解决coding上的hexo博客访问不了的问题
  9. java 服务端解决ajax跨域问题
  10. Kali linux2.0里Metasploit的postgresql selected, no connection问题解决