問題タブ [fixpoint-combinators]

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.

0 投票する
0 に答える
115 参照

haskell - OCaml の高次フィックスポイント

OCaml の次の二次的な例で可能なすべての実装は何ですか? これは非常に単純な Haskell コードfoldで、初期代数の普遍的な性質とも呼ばれますFixH

OCamlのファンクターで作るのは簡単だと思います。他のオプションは何ですか?

「軽量高次種類」スタイルの既知の実装はありますか?