PL wiki

Haskell/Monad

  • 타입클래스

Monad는 하스켈의 타입클래스이다. 상위 클래스로 Functor, Applicative를 가진다.

모나드는 개념적으로 다음과 같이 정의될 수 있다.

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