Caml

✍ dations ◷ 2025-05-21 21:27:53 #ML语言家族,程序设计语言,1985年建立的编程语言

Caml,名称源自类别抽象机语言(英语:Categorical Abstract Machine Language,Caml)的缩写,一种函数式编程语言,是ML语言的方言之一。1985年,最早在法国高等师范学校(ENS)发展出来,现在主要由法国国立计算机及自动化研究院(INRIA)负责维护与发展。

Caml的直译器最早是以LISP实作,因为它使用太多CPU与内存资源,被昵称为重量级Caml(Heavy CAML)。Xavier Leroy与Damien Doligez,以C语言重新发展的直译器,相对而言,被称为轻量级Caml(Caml Light)。在完整重写之后,它成为特别轻量化Caml(CAML Special Light),成为核心语言外的一层应用程序模组系统。

Caml的主要实作为OCaml。

相关

  • EC编号EC编号或EC号是酶学委员会(英语:Enzyme Commission)为酶所制作的一套编号分类法,是以每种酶所催化的化学反应为分类基础。这套分类法亦同时会为各种酶给予一个建议的名称,所以亦
  • 科托努科托努(法语:Cotonou)位于贝宁湾畔,是贝宁的经济首都,也是该国最大的城市,人口761,137人(2006年)。科托努是贝宁的实际行政中心。渔民区市区商业区杂货铺La place du souvenir
  • 纬来综合台纬来综合台,即前纬来电视 ON TV,是纬来电视网旗下结合综艺节目、谈话性节目、电视动画等不同类型节目于一台的综合性频道,也会重播纬来戏剧台的戏剧节目。在纬来体育台与纬来育
  • 脍(谚文:회;朝鲜汉字:膾)是一种韩国菜肴,即韩式生鱼片,材料是切薄片的生鱼肉。上桌时在下垫粉丝。食时蘸上醋苦椒酱(초고추장)或山葵,外面包上生菜和紫苏,亦有以泡菜包裹食用的。剩下的
  • 费拉费拉(英语:Fellah,阿拉伯语:فلاح‎ (单数) فلاحين‎ (众数))是埃及在古埃及文明被基督教文明和阿拉伯文明取代以后,仍继续在尼罗河冲击河谷及中东其他地方耕耘的,主要带
  • 泰恩河畔纽卡斯尔坐标:54°58′26″N 1°36′48″W / 54.9740°N 1.6132°W / 54.9740; -1.6132泰恩河畔纽卡斯尔(英语:Newcastle upon Tyne 英式发音: i/njuːˈkɑːsələpɒnˌtaɪn/;本地发
  • 费德湖坐标:48°5′2″N 9°37′49″E / 48.08389°N 9.63028°E / 48.08389; 9.63028费德湖(德语:Federsee),是德国的湖泊,位于该国西南部,由巴登-符腾堡州负责管辖,处于巴特布豪,长2.3公
  • 阿Q峨螺尖鱼篮螺(学名:),又名阿Q峨螺,旧属新腹足目峨螺科海因螺属,今属峨螺科鱼篮螺属。有其他文献认为中华海因螺(学名:,又名中华峨螺)是本物种的同种异名,但未有提供在分子生物学上的证明,只
  • RED CLIFF~心·战~《RED CLIFF~心·戦~》(RED CLIFF~心·战~)是中国歌手阿兰·达瓦卓玛以alan之名在日本的第六张单曲,是alan从2008年7月开始连续5个月单曲连发,以“创造地球的五大元素”:地、空、风、
  • 吉田友一吉田 友一(1982年7月9日-)是著名日本的男性演员及模待儿,出生于新潟县长冈市,并在埼玉县长大,后来加入成为Avex Entertainment及AGAPE旗下的男艺人。身高183cm,血型B型。他曾在拍摄