标准 ML 中的行注释答案

【问题标题】：Line Comments in Standard ML标准 ML 中的行注释
【发布时间】：2011-01-03 01:03:42
【问题描述】：

我正在学习机器学习，使用的是 SML/NJ 方言。我想弄清楚的是是否有行注释运算符。我找到了块注释运算符 (* ... *)，但我真的很想念行 cmets。

建议？还是我只是卡在块 cmets 上？

【问题讨论】：

标签： sml smlnj

【解决方案1】：

你被块 cmets 困住了。

另一方面，block cmets 可以嵌套：(* (* *) still comment here *)

【讨论】：

这让我很伤心，但是哦。嵌套的 cmets 很酷，谢谢。
作为记录，这取决于您的编译器/交互环境。根据规范，注释可能不包含子字符串“*)”，因此即使某些实现是宽松的，您也应该避免它。
@Nicholas Wilson：你说得对，我把事情和 OCaml (caml.inria.fr/pub/docs/manual-ocaml/lex.html) 搞混了。
@NicholasWilson，刚刚发现了这个旧答案。作为记录，SML 语言规范明确允许嵌套 cmets（“第 2.3 节：注释是注释括号 (**) 中正确嵌套的注释括号内的任何字符序列”）。所有实现都正确地支持它们，并且总是有。此外，FWIW、MLton 和 SML/NJ 最近都实施了一项旧提案，允许通过 (*) 进行线路 cmets，尽管尚未发布。
好的，我的立场是正确的——但我想我在五年前确实看过它，也许我手里有一个图书馆里的旧规范。

【解决方案2】：

There is a RFC for line comments, 提出一个哈希标记，后跟一个空格。

【讨论】：

【解决方案3】：

只要您启用 sML（“继任者 ML”）扩展（sml -Cparser.succ-ml=true 用于 SML/NJ），单线 cmets 现在在 MLton 和 SML/NJ 中均提供。

这是一个具体的例子。在下面的定义中，1 的值被忽略，a 的定义取自下一行 (2)。（下面=表示续行，请忽略断句高亮。）

$ sml -Cparser.succ-ml=true
- val a = (*) 1
=   2;;
val a = 2 : int

【讨论】：