问题标签 [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 函子很容易做到。其他选择是什么？
是否有任何已知的“轻量级高阶类型”风格的实现？