Tag: 免提

如何使用（ – >）Monad的实例和（ – >）混淆

在不同的问题中，我发现了有关使用Monads (->)实例的注释，例如实现无点风格。 至于我，这太抽象了。 好的，我在(->)上看到了Arrow实例，在我看来， (->)可以用于实例符号中，但不能用于types声明中（这只会是另一个问题）。 有没有人使用(->)作为Monad的实例？ 或者一个很好的链接？ 对不起，如果这个问题可能已经在这里讨论过，但是search“ (->) Monad实例”会给你很多点击，因为你可以想象…因为几乎所有关于Haskell的问题都涉及(->)或者“Monad” 。