Caml

✍ dations ◷ 2025-10-22 09:40:24 #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。

相关

洗澡洗澡，又名沐浴，是个人卫生活动，但是也可能在社交场合，例如公众浴室、桑拿浴等。沐浴有分洗身和泡澡，前者用水与沐浴乳清洁身体；后者的主要目的并非洗身，而是浸泡身体。十四世纪中黑
融合遗传融合遗传（英语：Blending inheritance）又称混合遗传，是一套已被取代的遗传学假说（英语：Superseded theories in science）。该假说认为不同性状的亲代杂交后，子代会表现出介于双亲之间
3千纪3千纪，或称第3个千年，是指从2001年1月1日至3000年12月31日的1000年，现在（2020年）即处于3千纪当中。公元后：1 · 2 · 3 · 4 · 5 · 6 · 7 · 8 · 9 · 10
带斑丽沫蝉带斑丽沫蝉（学名：），又名“小红斑沫蝉”、“斑带丽沫蝉”，分布于中国大陆南方、台湾、越南、老挝、柬埔寨、泰国、缅甸、印度、锡金、马来西亚等地。寄主有桑、桃、茶、咖啡、三叶
2016年净选盟5.0集会2016年净选盟5.0集会（马来语：Perhimpunan Bersih 5.0；英语：Bersih 5.0 Rally）是马来西亚非政府组织干净与公平选举联盟（净选盟）于2016年11月19日在首都吉隆坡及全国各地主要城市举
杨哲商杨哲商（1883年－1911年11月6日），名旭东，小名秀南，字哲商，以字行，浙江省台州府临海县（今临海市）人，辛亥革命烈士，光复会会员。清宣统三年（1911年），设工场于上海法租界嵩山路维昌洋行楼上，秘密
卢博米尔·什特劳加尔卢博米尔·什特劳加尔（捷克语：Lubomír Štrougal，1924年10月19日－），捷克斯洛伐克共产党领导人、捷克斯洛伐克总理。
BIG MOM海贼团BIG MOM海贼团（ビッグ・マム海賊団）是尾田荣一郎创作的日本漫画《ONE PIECE》中著名的一个海贼团。由四皇“BIG MOM”夏洛特·莉莉率领的海贼团，是以真正亲人“夏洛特家族”为
电子脚镣电子脚镣或称电子脚环、电子监控（英语：Electronic Monitoring, Electronic Bracelet, Electronic Fetters, Electronic Taggig or Ankle Monitor），是一种具有定时自动以无线电或
PyConPyCon（Python Conference）是指一系列专门探讨和推广Python编程语言的会议。起源于美国，但也在其他许多有活跃Python开发者社区的国家举办活动。此外还有一些会议专门对科学家推