Caml

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

相关

  • Mgsub2/sub[NiHsub4/sub]四氢合镍(0)酸镁是一种配位化合物,化学式为Mg2,它是单斜晶系的晶体,其中含有4−离子。该化合物在220 °C时转变为立方晶系的Mg2NiH3.9。该配合物可由镁和镍的金属粉末在氢气中
  • 拉瓦勒拉瓦勒(法语:Laval,/ləˈvæl/,法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Ge
  • 自恋型人格疾患自恋型人格疾患 (英语:Narcissistic personality disorder, 简称为 NPD)是一种长久性的人格疾患。患者往往会过度夸大强化自我的重要性(英语:Grandiosity),过度渴求别人的赞赏(英语
  • 格洛丽亚·马卡帕加尔-阿罗约玛丽亚·格洛丽亚·马卡帕加尔-阿罗约(他加禄语:Maria Gloria Macapagal-Arroyo;1947年4月5日-),是菲律宾第14任总统及第25任众议院议长。不仅是菲律宾第二位女总统,也是前总统奥斯
  • 捷豹XJ捷豹XJ(Jaguar XJ),是英国汽车品牌捷豹自1968年以来销售的一系列大尺寸豪华汽车的名称。自1970年以来,它们一直是捷豹的旗舰车种。原始的车型是最后一代小轿车,由该公司创办人威
  • ACE (电子计算机)自动计算机(ACE,Automatic Computing Engine)设计为一台早期的存储程序式电子计算机。名称中使用“Engine”一词是为了向查尔斯·巴贝奇的差分机(Difference Engine)和分析机(Anal
  • 梁肇煌梁肇煌(1827年-1886年),广东广州府南海县黄埔村人(今属广州市海珠区),广州十三行天宝行行主梁经国之孙。清朝政治人物、进士出身。咸丰三年(1853)考取进士,授翰林院庶吉士。咸丰十二年
  • 黄增贲黄增贲(越南语:Hoàng Tăng Bí/.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-UNI-H","
  • 玩命街头《玩命街头》是由 民间全民电视公司制作的外景综艺节目,主持人为沈玉琳,首两集助理主持人为派派、第三集起由劳拉接任。民视每周六晚间七点半首播,2020年6月13日首播第一集,2020
  • 马尔科姆·兰吉特马尔科姆·兰吉特(英语:Malcolm Ranjith;1947年11月15日-)是斯里兰卡籍天主教司铎级枢机及现任科伦坡总教区总主教。兰吉特于1947年11月15日在斯里兰卡西北省出生。从1966年到197