Applicative と Monad の違いについて - Qiita

「ApplicativeとMonadは何が違うのか？」という疑問についての自分なりのまとめ。 型制約の強さの違い Haskellの型クラスは「特定の名前と型がついた関数が実装されているか」で型をグループ化する概念。言ってみればJavaのinterfaceのようなもので、ある型がその型クラスに属するためにはその型クラスによって指定された名前と型を持つ関数を定義する必要がある。 ApplicativeとMonadは型クラスであって、それぞれが要求する関数が異なる。 型クラスの定義を読む GHCi(7.10.2)によると、Applicativeの定義は以下。 (ちなみに小文字で書かれたfやaやbは型変数で、ある具体的な型(例えばIOとかMaybeとか[]とか)が入る。同じ型変数には同じ型が代入されるので、(<*>) :: Maybe (a -> b) -> IO a -> Maybe bのような

[n314]

join $ (\l -> if length l > 0 then putStrLn l else putStrLn "(empty)") <$> getLine　と書くと別の視点になりそう。