问题标签 [haskell-polysemy]

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 投票
1 回答
46 浏览

haskell - 实现高阶效果解释器

我正在尝试实现高阶效果的解释器。

我有一个基本效果:

还有一个高阶效应:

打算用作:

我有一个实施助手:

但是,我在实施中遇到了困难:

我没有找到很多例子,而且我对类型感到困惑,有什么提示吗?