代码之家 › 专栏 › 技术社区 › Aron Lee

加入哈斯克尔的不同单子

monads haskell

Aron Lee · 技术社区 · 6 年前

join [["dog"]] “输出 ["dog"]

join $ (Just ["dog"]) 

got error:
Couldn't match type â[]â with âMaybeâ

我们知道 Maybe 和 [] 都是哈斯克尔的蒙纳德,

join(Monad m)=> m(m a) -> m a

也许吧 是蒙纳德吗

是蒙纳德吗

怎么了?

在我看来,只有同一类型的单子才能加入,

fromJust (Just ["dog"]) 

"output:  ["dog"]

但我需要提前知道。

1 回复 | 直到 6 年前

Adam Smith 6 年前

这个 m join :: Monad m => m (m a) -> m a 它出现的地方都是同一个单子。如果你有 Just (Just "dog") ,那么你有两个 Maybe monads和你的 join 会很好的工作。类似于您的列表示例。

把东西从单子里拉出来是不可能一概而论的,这是单子力量的一部分。考虑一下如果你能够

从 Just ["dog"] -> ["dog"] ,你只需要一个 Maybe a -> a Data.Maybe.fromJust ,但是 maybe 更安全(如果你有呢 Nothing 而不是?)

推荐文章

kaqqao · 理解读者单子

7 年前

user1 · 制作哈斯克尔单子

7 年前

Pedro Rolo · 生成解析器,该解析器在另一个解析器的输出上运行接收到的解析器,并以一元方式连接结果

7 年前

maiermic · 使用带透镜的一元函数修改状态

7 年前

Nathan Ringo · 将单子添加到transformer堆栈的中间

7 年前

Saurabh Nanda · 如何创建允许IO但不是MonadIO的monad?

7 年前

Bailey Parker · 处理optparse应用程序ReadM中openFile的异常

8 年前

Savenkov Alexey · Scalaz:如何组合OptionT[State[_],T]类型的单子,这样它就不会终止于None

8 年前

Sophia Gold · GHC 8.0.1编写器和状态单子的错误

8 年前

modular · 我们可以为WrappedArrow定义一个Monad实例吗?

8 年前