2

私は、Uniが単純な命令型言語用のコンパイラー（Haskellで）を作成するプロジェクトを持っています。要件の1つは、関数呼び出しの開始、関数の終了、および変数の割り当て時にデバッグステートメントを出力することです。

関数を入力するときにメッセージを印刷するのは簡単です。私はDebug.traceを使用します。例：

functionValue = trace "Entering function" (evaluateFunction functionArguments)

変数に割り当てる場合も同じプロセスが適用されます。私が理解できないのは、関数呼び出しから戻ったときに印刷し、出力を他の出力と正しくタイミングを合わせる方法です。これまでに行ったすべての試みの結果、「関数の開始」の直後に「関数の終了」が出力されました。「関数の終了」を出力する前に、関数の内部デバッグステートメント（関数の割り当てとネストされた呼び出し）を出力する必要があります。

私の命令型の習慣は、leave-function出力の前に（evaluateFunction functionArguments）の実行を強制する方法が必要であることを教えてくれますが、これはHaskellでは不可能で間違っているようです。

私が今得た出力例：

Entering main function...
Leaving main function...
Entering fn1 function...
Leaving fn1 function...
Assigning value1 to A.
Assigning value2 to C.
Entering fn2 function...
Leaving fn2 function...
Assigning value3 to B.
Assigning value4 to C.

同じプログラムの出力は、私が必要とする方法で表示されます。

Entering main function...
Entering fn1 function...
Assigning value1 to A.
Leaving fn1 function...
Assigning value2 to C.
Entering fn2 function...
Assigning value3 to B.
Assigning value4 to C.
Leaving fn2 function...
Leaving main function...

では、「myFunctionWithTracesを実行してからmyStringを出力する」のHaskellイディオムは何ですか？

4

2 に答える 2

5

トレースをすぐに印刷したい場合は、関数をIOモナドに持ち上げて、2つputStrの間に置くことができます。

trace :: String -> IO () -> IO ()
trace name f = do
    putStrLn $ "Entering " ++ name
    f
    putStrLn $ "Leaving " ++ name

その後：

main = trace "main" $ do
    fn1
    fn2

fn1 = trace "fn1" $ do
    return ()

fn2 = trace "fn2" $ do
    return ()

これは、モナドを使用して純粋に実行することもできますWriter（つまり、印刷せずに、デバッグ出力を蓄積するだけです）。traceその場合、次のようになります。

trace :: String -> Writer String () -> Writer String ()
trace name f = do
    tell $ "Entering " ++ name ++ "\n"
    f
    tell $ "Leaving " ++ name ++ "\n"

およびでデバッグ出力をアンラップする追加の手順がありrunWriterますexecWriter。

編集：一般化traceはIO aそれほど難しくありません：

trace :: String -> IO a -> IO a
trace name f = do
    putStrLn $ "Entering " ++ name
    ret <- f
    putStrLn $ "Leaving " ++ name
    return ret

main = trace "main" $ do
    a <- fn1
    b <- fn2
    print $ a + b

fn1 = trace "fn1" $ do
    return 42

fn2 = trace "fn2" $ do
    return 69
于 2012-04-15T08:42:04.980 に答える
1

[コメントでコードが読めなかったので、CatPlusPlusにコメントとして別の回答を投稿しました]

私はついにすべてのコードにIOモナドをスレッド化しましたが、このソリューションは完全には機能しません。関数から戻り値（つまり、IO（値））を取得する必要があります。

do
    putStrLn $ "Entering " ++ name
    f
    putStrLn $ "Leaving " ++ name

上記のスニペットはIO（）（空のIOモナド）を返します。だから私はそれを次のように変更しました：

do
    putStrLn $ "Entering " ++ name
    returnVal <- f
    putStrLn $ "Leaving " ++ name
    return (returnVal)

しかし、これは現在印刷中です：

内部機能アクション.........機能に入る機能を離れる

編集：間違った出力が得られたのは私のせいでした：私は誤ってresult <- f 前に置きました putStrLn "Entering...

于 2012-04-22T18:25:51.423 に答える