标准 ML 中的行注释

Question

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

建议？或者我只是被块评论困住了？

Answer 1

你被块评论困住了。

另一方面，块注释可以嵌套：(* (* *) still comment here *)

Answer 2

有一个用于行注释的 RFC， 它提出了一个井号标记，后跟一个空白。

Answer 3

现在，只要您启用 sML（“后继 ML”）扩展（对于 SML/NJ，sml -Cparser.succ-ml=true），MLton 和 SML/NJ 中都会提供单行注释。

这是一个具体的例子。在下面的定义中，值 1 被忽略，而 a 的定义取自下一行 (2)。 （下面的 = 表示续行，请忽略损坏的语法突出显示。）

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

请参阅 https://github.com/SMLFamily/Successor-ML/wiki/Summary-of-propose-changes 了解有关 sML 的更多信息。