Комментарии к строке в стандартном ML

Question

Я изучаю ML, используя диалект SML / NJ. Я пытаюсь понять, есть ли оператор комментария к строке. Я нашел оператор блочного комментария (* ... *), но я действительно скучаю по строковым комментариям.

Предложения? Или я просто застрял в комментариях к блоку?

Answer 1

Вы застряли с комментариями.

С другой стороны, блочные комментарии могут быть вложенными: (* (* *) still comment here *)

Answer 2

Для комментариев к строкам существует RFC, , в котором предлагается хешмарк, за которым следует пробел.