読者です 読者をやめる 読者になる 読者になる

by shigemk2

当面は技術的なことしか書かない

idとは

Haskell

jxck.hatenablog.com

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 を適用した結果と等しい

www.geocities.jp