相关疑难解决方法(0)

在Haskell 98之前,有Haskell 1.0到1.4.随着功能被添加到最早版本的标准化Haskell中,这些年来的发展非常有趣.

例如,该标记首先由Haskell 1.3(1996-05-01发布)标准化.在Prelude,我们找到以下定义(第87页):

-- Monadic classes

class  Functor f  where
    map         :: (a -> b) -> f a -> f b

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

    m >> k      = m >>= \_ -> k

class  (Monad m) => MonadZero m  where
    zero        :: m a

class …