|
新泽西Standard ML
新泽西Standard ML（“Standard ML of New Jersey”或简写SML/NJ：新泽西标准元语言），是针对Standard ML编程语言的自由且开源的编译器和编程环境，它还支持Concurrent ML。除了它的运行时系统是用C写成之外，SML/NJ大部份是用Standard ML写成的。它最初是贝尔实验室和普林斯顿大学联合开发的[2]。 它的名字参考了普林斯顿大学和贝尔实验室所在地新泽西州和在二十世纪早期著名的石油垄断者新泽西标准石油二者。 特征SML/NJ向SML'97基础库扩展了一些额外的顶层结构[3]：
此外，SML/NJ提供了并非SML'97的标准特征的一些语法构造[3]：
发展“Successor ML”是用来描述ML语言的下一个版本的术语。描述它的文档已经从SML/NJ '97文件中提取出来，并放在GitHub仓库中以便获取为TeX文档，它由期望通过协作增进语言的社群维护[11]。Successor ML特征可以使用命令行选项 至少从1998年开始[13]，MLton成为了标准引导编译器[14]，它拥有对Successor ML的某些支持[15]。 在2008年，开始了在HaMLet上的工作[16]，它是完全用Standard ML写成的Successor ML的参考实现[17]。截止2018年，HaMLet仍旧是Successor ML的唯一完整实现，并具有额外的新奇事物[15]。 自从2015年[18]，SML/NJ的演进侧重发展基础库[19]，并在版本110.79的发行中增加了对Successor ML定义的支持[12]。 在2020年末尾时，在版本110.99发行中增加了64-bit支持[18]。 参见引用
外部链接 |
||||||||||||||||||||||||||
Index:
pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve
