scala – 单个monad的多个flatMap方法？

发布时间：2020-12-16 18:53:25 所属栏目：安全来源：网络整理

导读：在Monad中定义多个flatMap(或 = / / Haskell中的绑定)方法是否有意义？我实际使用的极少数monad(Option,Try,Either projection)只定义了一个flatMap方法. 例如,在Option上定义一个flatMap方法是否有意义,它会产生一个生成Try的函数？因此,选项[试用[用户]]

在Monad中定义多个flatMap(或>> = / / Haskell中的绑定)方法是否有意义？
我实际使用的极少数monad(Option,Try,Either projection)只定义了一个flatMap方法.

例如,在Option上定义一个flatMap方法是否有意义,它会产生一个生成Try的函数？因此,选项[试用[用户]]将被平铺为选项[用户]例如？ (考虑失去异常不是问题……)

或者monad应该只定义一个flatMap方法,采用产生相同类型monad的函数？我想在这种情况下,Either投影不会是monad？是吗？

解决方法

我曾经认真考虑过这件事.事实证明,这样的构造(除了失去所有monadic功能)并不是很有趣,因为它足以提供从内部到外部容器的转换：

joinWith :: (Functor m,Monad m) => (n a -> m a) -> m (n a) -> m a
joinWith i = join . (fmap i)

bindWith :: (Functor m,Monad m) => (n a -> m a) -> m a -> (a -> n a) -> m a
bindWith i x f = joinWith i $fmap f x

*Main>  let maybeToList = (x -> case x of Nothing -> []; (Just y) -> [y])
*Main>  bindWith maybeToList [1..9] (x -> if even x then Just x else Nothing)
[2,4,6,8]

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!