問題タブ [mutual-recursion]

Haskell で優先度上昇アルゴリズムをプログラミングしていますが、理由がわからないため、機能しません。ある時点で Parsec の状態情報が失われていると思いますが、それがエラーの原因であることさえわかりません。

何らかの理由で私のプログラムは、ケースに応じて最初の操作または最初のオペランドのみを処理していますが、それ以上は処理していません

GHCi セッション:

次の相互再帰構造を想定します。

目標: この構造の一般的なカタモルフィズムを生成します: foldl、foldr、foldk。

私は次のように素朴なカタモルフィズムを生成しました:

末尾再帰型の foldl (アキュムレータを使用) と末尾再帰型の foldr (継続を使用) を「機械的に」生成するにはどうすればよいですか?

私はScott の Recursive Types and Folds シリーズを読んでいて、再帰構造の折り畳みを「機械的に」生成する方法を理解しています。ただし、再帰的なデータ構造に対して「機械的な」ことを行うためにグーグルで何かを見つけることができません。

PS: インライン化することで上記の相互再帰を取り除くことができますが、tpetricek の Markdown パーサーでの相互再帰の単純化されたバージョンを表すため、そのままにしておきます。