Caml

✍ dations ◷ 2025-06-15 15:15:35 #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。

相关

统计统计学是在数据分析的基础上，研究测定、收集、整理、归纳和分析反映数据数据，以便给出正确消息的科学。这一门学科自17世纪中叶产生并逐步发展起来，它广泛地应用在各门学科，从自
多洛米蒂山脉多洛米蒂山（拉登语：Dolomites；意大利语：Dolomiti；德语：Dolomiten；弗留利语：Dolomitis）是阿尔卑斯山的一部分，位于意大利东北部三个省，其70%地区位于贝卢诺省，其余位于波尔扎诺自治省和特
持久自由军事行动持久自由行动（英语：Operation Enduring Freedom）是美国及其盟国所组成的联军，自2001年起开始执行、一连串针对基地组织和对该组织进行庇护的阿富汗塔利班政权所采取之军事行动的
美国占领海地第一次卡科战争：2,029名士兵第一次卡科战争：3人战死18人负伤第一次卡科战争：200人战死美国占领海地，是发生在1915年7月28日，300个美国海军陆战队在太子港登陆，持续到1934年8月1日
扬中市扬中市是中华人民共和国江苏省镇江市辖下的县级市，位于长江下游。全市由太平洲、中心沙、西沙岛、雷公岛四个江岛组成，在镇江发展全局中具有重要地位。扬中的前身是太平洲，隶属
周启濂周启濂（1877年－?）字玉卿（或作钰卿），浙江省宁波府鄞县人，中华民国外交官。1877年出生于浙江省宁波。早年就读于上海圣约翰大学，获学士学位。后赴英国留学，在爱丁堡大学深造，获文学硕士
ATC代码 (A11)A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码A11（维生素）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collaboratin
阮福洪傃阮福洪傃（越南语：Nguyễn Phúc Hồng Tố／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS
氯酸铊氯酸铊是一种无机化合物，化学式Tl(ClO3)3。四水合氯酸铊可由氯酸和三氧化二铊反应得到。其四水合物为无色、极易潮解的晶体，潮解过程中不发生分解。
美国宪法第四条宪法正文 I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII