&>&>操作员做什么？ [英] What >> operator does?

问题描述

我正在学习哈斯克尔的Monad。

我读了here关于Monad的很好的解释，我觉得对>>=绑定运算符和Monad有了解(不是全部，但我是刚刚开始的)。

在我老师的幻灯片上，我发现了这个：

class  Monad m  where
    (>>=)            :: m a -> (a -> m b) -> m b   -- "bind"
    (>>)             :: m a -> m b -> m b          -- "then"
    return           :: a -> m a  

>>是什么，与>>=有什么不同？

推荐答案

>>是当您不关心值时的快捷方式。也就是说，a >> b等同于a >>= \_ -> b(假设给定Monad中的>>定义合理(或默认))。

因此，当您处于IO monad中并想要执行一些print时，可以使用>>，因为没有理由对print产生的()执行任何操作：print a >> print b。

表示法exp >>= var -> rest对应于

do
  var <- exp
  rest

和exp >> rest仅对应于

do
  exp
  rest

这篇关于&>&>操作员做什么？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！