-
25 votesanswersviews
有人可以向我解释为什么ArrowApply的应用功能使它们像monad一样强大吗？
所以我将我的问题分成4个部分，但首先是一些背景： 我对Monads感觉相对舒服，但对Arrows不太满意 . 我想我遇到的主要问题是，我看不出它们对它们有用 . 无论形式是否正确，我都理解Monads是一种工具，可以让我们从计算中引入副作用 . 因为它们将程序片段从纯值推广到用其他动作装箱的值 . 从我的霰弹枪“阅读所有论文”的方法来学习箭头，我遇到了两个相互矛盾的观点： 答：箭头比Monads更... -
7 votesanswersviews
如何解决箭头的一阶约束？
What I mean by first-order constraint 首先，我将通过箭头的一阶约束来解释我的意思：由于箭头desugar的方式，你不能使用箭头命令中预期箭头命令的本地绑定名称 . 这是一个例子来说明： proc x -> f -< x + 1 desugars到 arr (\x -> x + 1) >>> f ，同样 proc x -&g...