問題タブ [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 投票する
1 に答える
165 参照

haskell - 再帰スキームで構造を更新するには?

再帰スキームでは、次のような型定義で何かを構築するにはどうすればよいですか(Recursive t, CoRecursive t) -> t -> ? -> t

再帰スキームを使用してノードを更新しようとしています。リストを例にとると、次のような 2 つの方法を考え出すことができます。

ただし、これら 2 つの実装は適切です。これら 2 つの実装では、コンストラクターListFと[]が方程式の両側に現れます。そして、定義は一意ではないようです。再帰スキームでリストの更新を実行するより良い方法はありますか?

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

haskell - Fix と Mu の同形

recursion-schemesパッケージでは、次のタイプが定義されています。

それらは同形ですか？もしそうなら、どうやってそれを証明しますか？


12345678910