代码之家 › 专栏 › 技术社区 › abhillman

也许莫纳德和>>=

option-type monads haskell

abhillman · 技术社区 · 11 年前

的类型签名 >>= 如下所示:

(>>=) :: Monad m => m a -> (a -> m b) -> m b

以下内容对我来说很有意义(这也是莫纳德定律之一):

(>>=) (Just 1) (id . return) == Just 1

然而前奏曲给出了以下内容:

Prelude> :t (>>=) (Just 1) id
(>>=) (Just 1) id :: Num (Maybe b) => Maybe b

我本来希望Prelude返回一些错误,因为id上的类型签名是 (a -> a) 与 Monad m => (a -> m b) .

有没有一个很好的方法来了解这里发生了什么?有什么用吗 (>>=) (Just 1) id ?

1 回复 | 直到 11 年前

kosmikus 11 年前

类型 id 是 c -> c (使用不同的字母,以免与 a 和 b 发生在 >>= ). 我们可以统一 c->c 具有 a -> Maybe b 如果我们选择 c = a = Maybe b .

这意味着 >>= 在您的示例中,用于类型:

(>>=) :: Maybe (Maybe b) -> (Maybe b -> Maybe b) -> Maybe b

现在你有了

(>>=)    (Just 1)           id

对于 Just 1 类型 Maybe (Maybe b) , Maybe b 必须在中 Num (因为那时 1 可以解释为 也许b ).

推荐文章

Piskator · 在Haskell中提取、操作和累积monad列表中的值

3 年前

Piskator · Haskells绑定运算符和>>运算符及其关系

3 年前

kaqqao · 理解读者单子

8 年前

user1 · 制作哈斯克尔单子

8 年前

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

8 年前

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

8 年前

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

9 年前

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

9 年前

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

9 年前

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

9 年前