問題タブ [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.
81 問題
0
投票する
0
に答える
115
参照
haskell - OCaml の高次フィックスポイント
OCaml の次の二次的な例で可能なすべての実装は何ですか? これは非常に単純な Haskell コードfold
で、初期代数の普遍的な性質とも呼ばれますFixH
。
OCamlのファンクターで作るのは簡単だと思います。他のオプションは何ですか?
「軽量高次種類」スタイルの既知の実装はありますか?