Caml

✍ dations ◷ 2025-12-07 08:39:11 #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。

相关

经济全球化经济全球化是商品、技术、信息、服务、资金、人员等生产要素的跨国、跨地区的流动。这种流动把全世界连接成为一个统一的大市场，各国在这一大市场中发挥自己的优势，从而实现资
格氏试剂格氏试剂，又称格林尼亚试剂，是指烃基卤化镁（R-MgX）一类有机金属化合物，是一种很好的亲核试剂。在有机合成和有机金属化学中有重要用途。此类化合物的发现者法国化学家维克多·格
利甚曼病利什曼病（英语：Leishmaniasis）是一种由寄生原生动物利什曼原虫造成的疾病，是由特定种类的白蛉叮咬所散播。这种疾病主要分为三种：皮肤、黏膜及内脏的利什曼疾病。皮肤利什曼病会
新亚述帝国新亚述帝国是公元前900年以后，亚述第三次复兴后建立起来的庞大帝国，国祚自公元前911年至公元前609年，成为当时世界上强大的国家，成功的并吞了巴比伦尼亚、埃及、乌拉尔图、亚美
社会女性主义社会主义女权主义（Socialist feminism）或社会主义女权主义是女权主义的一个分支，它侧重于关注女性生活中的公共领域与私人领域，并认为只能通过致力于终结经济和文化上对女性压迫
阵亡阵亡（Killed In Action，简称KIA）又称战殁，是军队当中广泛用来描述部队伤亡人员的军事用语，意指在战争中遭受敌军攻击或是友军误击（英语：friendly fire）而死亡的士兵。美军军语 KIA
巴格达之战 (1258年)蒙古决定性胜利，阿拉伯帝国灭亡伊尔汗国 (蒙古帝国)中亚（花剌子模） – 格鲁吉亚与亚美尼亚 – 伏尔加保加利亚（萨马拉弯 – 比拉尔） – 安纳托利亚（克塞山） – 欧洲（立陶宛（英
莫尔德足球俱乐部莫尔德足球俱乐部是一间位于挪威莫尔德的足球俱乐部，于1911年6月19日以国际（International）之名成立。莫尔德曾经赢得过3次联赛冠军（2011、2012、2014）和4次杯赛冠军（1994、2005
CluesoClueso（发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alternat
观音号志站观音号志站位于台湾宜兰县南澳乡，曾为台湾铁路管理局北回线的铁路号志站，位于观音隧道内。2003年6月13日起因新观音隧道完工启用而废止。