Haskellを勉強していて面白いなと思ったことをメモしておく。

普通の日本語では全然違う言葉

普通に生活していたら全く別の意味で使う単語。

でもHaskellの抽象世界では同じものを指している

Haskellの型 f a を考えると、これは「型 a が何かに包まれている」状態を表している。

こう見ると、すべて "何らかの状況の中にある a" になっている。

この状態で fmap :: (a -> b) -> f a -> f b を使うと、

つまり、文脈の中に入った値を安全に変換する仕組み。これを "lifting" と呼んだりもする。

普通の言葉なら全然違う "文脈" と "コンテナ" が、

Haskellの抽象度の高い世界では、実質的に同じものを指してしまう

というのがすごく面白いと思った。

Haskellが "抽象の楽園" と言われる理由の一端を感じた気がする。