时间戳

首页 > 解决方案 > monad 中的纯映射

haskell - monad 中的纯映射

问题描述

假设我有两个功能

f :: Monad m => a -> m a
g :: a -> a

我想连续应用于某些元素，如下所示：

(return x) >>= f >>= g

这不起作用，因为 g 是纯的，所以我首先需要“人为地”将它变成一元的。一种可能是

(return x) >>= f >>= (return . g)

这对我来说不是很直观。另一种可能性是使用 Monad is Applicative：

(return g) <*> ((return x) >>= f)

但这不是很直观，因为函数和参数的顺序不同：

(>>=) :: Monad m => m a -> (a -> m b) -> m b
(<*>) :: Applicative f => f (a -> b) -> f a -> f b

处理此问题的规范方法是什么？如果(>>==) = (flip ((<*>) . pure))一个人可以写((pure x) >>= f) >>== g，除了运算符优先级之外，这很好。当然，单子代码中的纯函数是很常见的事情，所以肯定有一种标准的方法来处理它们吗？

编辑：我最初并没有这么说，但我在想一种情况，我有几个函数，一些是纯函数，一些是单子函数，我想以某种随机顺序应用它们。

标签： haskellmonads

解决方案

你这里描述的是fmap :: Functor f => (a -> b) -> f a -> f b. 此外，由于pure x >>= f应该与 相同f x，因此我们可以将给定表达式简化为：

fmap g (f x)

或者我们可以使用中缀别名(<$>) :: Functor f => (a -> b) -> f a -> f b：

g <$> f x

推荐阅读