Ocamlは1つ後のステートメントを印刷します

Question

OcamlとMLには一般的に非常に新しく、非常に根本的な問題を抱えています。私はパターンマッチを使用しており、1つのマッチ内で2つ以上の連結ステートメントを出力したいと考えています。例えば。 chan^"("^var^")"^op2^(poc p); chan^"("^var^")"^op^(poc p)

let processoperatorchange2 t2s2 proc2 op op2= 
    let rec poc2 p = match p with 
    | Zero -> "0" 
    | Pproc (x) -> String.lowercase x 
    | In(chan, var, _, p, _) -> chan^"("^var^")"^op^(poc2 p); chan^"("^var^")"^op2^(poc2 p) 
    in poc2 proc2 

しかし、その後、私はこれを実行するたびに、印刷された唯一の文はセミコロンの後に最後のものです。私はこれにいくつかの助けを得ることができますか？

Answer 1

この関数は文を出力しませんが、文字列を作成するため、値を返します。副作用はありません。セミコロン演算子は、2つの式の間に散在する場合、これらの式から生成された値を結合しません。したがって、"hello"; "world"の場合、結果は"world"です。あなたがそうしたときのあなたの状況はどうなるのですか？

chan^"("^var^")"^op^(poc2 p); chan^"("^var^")"^op2^(poc2 p) 

リフトのすべてがちょうど投げ捨てられます。

クイックフィックスは、例えば、

chan^"("^var^")"^op^(poc2 p)^";\n"^chan^"("^var^")"^op2^(poc2 p) 

をそれらを連結することであろう。しかし、一般的に、ASTを印刷する慣用的な方法は、Formatモジュールを使用し、再帰pp機能を実装し、それがFormat.formatter -> 'a -> unitを入力していることです。戻り値の型に注意してください。関数は文字列を作成しません（通常は2次複雑度の演算です）。しかし、それを汎用出力ストリームに出力します。