ファンクタ, アプリカティブ, モナド

FAM.md ファンクタ, アプリカティブ, モナド はじめに 「そもそも概念が分からない」という方に向けた説明です. 簡略化のため大幅に説明を省略しています. ご容赦ください. 誤りは御指摘いただければ幸いです. 「ファンクタ」, 「アプリカティブ」, 「モナド」 などは Haskell に限定された概念・用語ではありませんが, 例は Haskell で書きます. 例にある動作を GHC(I) で確認される場合は import Control.Applicative import Data.Char が必要です. ファンクタ Haskell の Functor クラスの定義には class Functor f where fmap::(a -> b) -> f a -> f b と書いてあります. 任意の型 a, と別の任意の型 b について, 「型 a の値を引数にとり, 型 b の値

[licheng]

“(<*>) (Just (\x -> x * x)) Nothing”