标准ML中的行注释

Question

我正在学习ML，用SML / NJ方言。我想弄清楚的是，是否有一个行注释运算符。我找到了块注释运算符，（* ... *），但我真的错过了行注释。

连连呢？或者我只是坚持使用块评论？

Answer 1

你坚持使用块评论。

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

Answer 2

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

Answer 3

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

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

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

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