問題タブ [recursion-schemes]

質問する

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

97 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
2 に答える
432 参照

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

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

0 投票する
1 に答える
415 参照

haskell - フォッキンガのプリプロモーフィズムは何をするつもりですか?

私は図書館を見てきましたが、何に使われるのか、あるいはそれが何をするのかさえもrecursion-schemes非常に混乱しています。preproそれを「フォッキンガのプレプロモルフィズム」と表現することはあまり有益ではなく、署名 ( prepro :: Corecursive t => (forall b . Base t b -> Base t b) -> (Base t a -> a) -> t -> a) は (カタモルフィズム) と非常によく似てcataいますが、追加の議論があり、その意図は不明です。誰かがこの機能が何を意味するのか説明できますか?


12345678910