Caml

✍ dations ◷ 2025-07-06 04:32:19 #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。

相关

句子句子或称语句，指构成语言的基本单位，句子带有语调，大部分语言的句子带有限定动词，按照一定的语法规则组织，具有完整的意义。按照语言的语法规则，每个句子至少包含主语、谓语和宾语
核酶核酶（英语：ribozyme，又译核糖酶），又称核酸类酶、酶RNA、类酶RNA，是具有催化特定生物化学反应的功能的RNA分子，类似于蛋白质中的酶。在核酶的发现之前，酶，其被定义为催化作用的蛋白质，
普朗克长度普朗克长度，是长度的自然单位，以 ℓ P {\displaystyle \ell _{P}} 作为
约翰·克里斯朵夫《约翰·克利斯朵夫》（Jean-Christophe）是法国作家罗曼·罗兰的一部长篇小说，共10卷，1904年-1912年出版，从构思到出齐耗时20多年。1915年作者因这部小说获得了诺贝尔文学奖。约翰
党承志党承志（？－？），字汝孝，山西太原府忻州人，军籍，明朝政治人物，正德庚午举人，联捷进士。嘉靖年间累官至通政使司右通政。正德五年（1510年）庚午科山西乡试第六十名举人。正德六年（1511年）联捷辛未
华兰生物华兰生物工程股份有限公司是一家位于河南新乡从事血液制品研发和生产的制药公司，2004年6月登陆深圳证券交易所中小板（代码：002007）。前身为成立于1992年的华兰生物工程有限公司，1
开元天宝遗事《开元天宝遗事》，五代后周王仁裕撰笔记小说。王仁裕（880年－956年）早年当过秦州节度使判官，后入蜀，唐庄宗李存勖灭蜀，为秦州节度判断；历仕后唐、后晋、后汉三朝，晋高祖时为谏议大夫，官
六朝志怪六朝志怪小说，是指六朝发展出来的神怪小说。由于政治动荡，老百姓开始追求信仰，寄托心灵于神道。六朝志怪多记神异怪诞之说，其中较为著名的小说有：《齐谐记》、《述异记》、《冥祥
中视卫星电视节目有限责任公司中视卫星电视节目有限责任公司（英语：CTV-Satellite TV Program Co., Ltd.）是中国的一家卫星电视运营商，为中国国际电视总公司的全资子公司。中视卫星电视节目有限责任公司是国家
埃尔德什等差数列猜想埃尔德什等差数列猜想（英语：Erdős conjecture on arithmetic progressions），又称埃尔德什-图兰猜想（英语：Erdős-Turan conjecture），是由匈牙利数学家沃尔夫数学奖得主保罗·埃尔德