小编Ins*_*bit的帖子

ML有很多方言,而SML和OCaml是最受欢迎的方言.SML和OCaml之间存在许多差异,但它们都被视为ML的方言.所以,

1. 为什么SML和OCaml被认为是ML的方言？
2. 如何将语言视为ML的方言？
3. 如果ML不是SML/OCaml,ML的定义是什么？

我猜ML是SML和OCaml的交集,但我找不到一些详细的定义.