sml - 標準 ML の行コメント

Question

私は SML/NJ の方言で ML を学んでいます。私が把握しようとしているのは、行コメント演算子があるかどうかです。ブロック コメント演算子 (* ... *) を見つけましたが、行コメントが本当に恋しいです。

提案？それとも、ブロック コメントに固執しているだけですか?

Answer 1

あなたはブロックコメントで立ち往生しています。

一方、ブロック コメントはネストできます。(* (* *) still comment here *)

Answer 2

sml -Cparser.succ-ml=true単一行のコメントは、sML ("Successor ML") 拡張 ( SML/NJ 用) を有効にしている限り、MLton と 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を参照してください。