haskell - Haskell 再帰スキーム: ツリーに中間結果のラベルを付ける

翻译自：https://stackoverflow.com/questions/46131958 2017-09-09T14:59:42.970

432 次

I を使用cataすると、AST を結果に折りたたむことができます。ASTにCofree追加の注釈を格納できます。AST を取得して、各ステップの結果を含む注釈付き AST を返すにはどうすればよいですか?

alg :: Term Result -> Result
alg = undefined

run :: Fix Term -> Result
run ast = cata alg ast

run' :: Fix Term -> Cofree Term Result
run' = ???

2 に答える 2