Я изучаю ML с диалектом SML/NJ. То, что я пытаюсь выяснить, - то, если существует оператор комментария строки. Я нашел оператор комментария блока, (*... *), но я действительно пропускаю комментарии строки.
Предложения? Или я просто застревают с комментариями блока?
Вы застряли с блочными комментариями.
С другой стороны, комментарии к блокам могут быть вложены: (* (* *) все равно комментарий здесь *)