Prelude> [1,2,3] [1,2,3] Prelude> id [1,2,3] [1,2,3] Prelude> id 3 3 Prelude> :t id id :: a -> a
何かの型の値を受け取り、その値をそのまま返す
という関数。そのまま。
これだけだとなんだかよくわからないけど、ファンクター則でなんか出てくる
fmap id を適用した結果は id を適用した結果と等しい
Prelude> [1,2,3] [1,2,3] Prelude> id [1,2,3] [1,2,3] Prelude> id 3 3 Prelude> :t id id :: a -> a
何かの型の値を受け取り、その値をそのまま返す
という関数。そのまま。
これだけだとなんだかよくわからないけど、ファンクター則でなんか出てくる
fmap id を適用した結果は id を適用した結果と等しい