Caml

✍ dations ◷ 2025-04-27 10:10:41 #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。

相关

  • 高阶学习词典高阶学习词典是一种最为常见的单语学习词典,即为正在学习一门外语且其使用这门外语的能力已经达到或超过欧洲共同语言参考标准B2水平(或国际汉语能力标准四级)的学习者编写的词
  • 单位笛卡尔坐标系(英语:Cartesian coordinate system,也称直角坐标系)在数学中是一种正交坐标系,由法国数学家勒内·笛卡尔引入而有此名。二维的直角坐标系是由两条相互垂直、相交于
  • 夫琅禾费衍射在光学上,夫琅禾费衍射(以约瑟夫·冯·夫琅和费命名),又称远场衍射,是波动衍射的一种,在场波通过圆孔或狭缝时发生,导致观测到的成像大小有所改变,成因是观测点的远场位置,及通过圆孔
  • 新营客运新营汽车客运股份有限公司(英文:Singing Bus Co., Ltd.),简称:新营客运,是台湾的一家民营汽车客运公司,该公司于1950年1月成立,但实际早在台湾日治时期便已存在,原名新营乘合自动车株
  • 李斌 (拳击运动员)李斌(1980年1月21日-),中国男子拳击运动员,辽宁沈阳人。李斌于1998年加入重庆运动技术学院,教练是李同健。随后,他取得入选解放军拳击队。2005年,他取得进入国家队的机会,张传良为他
  • 乔德普尔乔德普尔(Jodhpur),是印度古吉拉特邦Ahmadabad县的一个城镇。总人口44381(2001年)。该地2001年总人口44381人,其中男性22970人,女性21411人;0—6岁人口4165人,其中男2315人,女1850人;识
  • 梅殷梅殷(14世纪-1405年),字伯殷,汝南侯梅思祖从子,中国明朝开国君主朱元璋的女婿,因忠于明惠宗,1405年被明成祖遣人暗杀而死。天性恭谨,能骑马射箭。洪武十一年(1378年)娶朱元璋的嫡出次女
  • 奈良美智奈良美智(日语:奈良美智/なら よしとも  ?;1959年12月5日-)是一位活跃的日本当代艺术家,日本青森县弘前市人。1959年出生于平凡的家庭。在青森县立弘前高中毕业后原先考上武藏野
  • 米内佑希米内佑希(1989年12月23日-)是日本的男性声优。出身于秋田县横手市。隶属于81 Produce。血型A型。曾就读东京播音学院(现:东京声优学院)声优养成科、81ACTOR'S STUDIO。后加入81 Pr
  • 格叙尔山坐标:46°30′38.8″N 07°31′11.4″E / 46.510778°N 7.519833°E / 46.510778; 7.519833格叙尔山(Gsür),是瑞士的山峰,位于该国中西部,由伯恩州负责管辖,属于伯尔尼山的一部分,