OCaml标准委员会？

我正在做一个关于OCaml的演示，我想知道是否有一个标准委员会。我在互联网上到处搜索，找不到答案，所以我在这里寻求帮助。

OCaml不遵循任何国家或国际标准。INRIA的镓（以前称为Cristal）集团希望使用的语言是任何语言。

如果你说的是像ISO生产的标准一样的官方标准，没有任何迹象表明会使用这种语言。计算机语言在ISO内部处理（老实说，这是最重要的标准机构；所有国家机构，如ANSI和AS）倾向于直接输入ISO），技术委员会1，工作组22（JTC1/SWG22）

可以找到为JTC1/SWG22发布的标准列表，其中并没有关于OCaml的信息

尽管其中有一些有趣的片段，比如Fortran在2010年才开始开发，Ruby在那里没有Python

---

这并不是说在ISO或国家机构之外可能没有一些标准化工作，但它可能被视为不那么严重。

OCaml语言没有任何标准，因为它只有一个实现，即OCaml本身。OCaml还有一些其他的实验版本（OCAMLJava，一个曾经在.NET上运行的版本），但据我所知，它们中没有一个被认为是足够重要的（到目前为止）作为替代实现。标准的ML语言已经标准化（顾名思义！），它的实现已经存在（SML/NJ、AliceML、MoscowML），但OCaml不是SML

---

然而，一些OCaml的工业用户需要就该语言的未来方向达成一致。为此目的存在一个结构，称为Caml联合体；语言本身及其实现的未来改进可能会在这里讨论。技术讨论在一个名为caml-devel的私人列表上进行。

谢谢。当系统允许时，我会将此标记为答案。我会小心地将“标准化”等同于“由官方标准机构标准化”。此类机构通常面向工业和商业技术，在某些情况下（如Ecma），参与可能会花费大量费用。因此，学术界以外的语言，如OCaml，很少在那里使用。取而代之的是，非正式团体或委员会有时会产生较少的官方文件，尽管这些文件在社区中被公认为标准。标准ML、Haskell'xy或Scheme RXR就是这样的例子。不过，OCaml没有。有趣的是，Caml财团收取3000欧元的会员费，这似乎只是给了他们一个更自由的许可证。不确定这些费用与ISO的比率如何，因为公司往往是主要的支付方（他们的大部分成本可能是参与而不是硬美元），但这似乎并没有阻止Ruby。好吧，财团主要是行业为OCaml系统的持续开发和维护提供资金的一种方式。它实际上与标准化无关。