それぞれの関係性を意識しながら、今の理解をまとめてみました。 ファンクター ファンクターとは、関数で写せる値を表す便利な概念のことです。 ファンクターに所属する型は、「a -> b型の関数と、f aというデータ型をとって、f bというデータ型を返す」とい…

昨年からプログラミングHaskellを読み進めているのですが、型と型クラスについての理解が曖昧なことに気づいたので、これまで勉強してきたことを整理してみました。 特に、OOP言語におけるクラスとHaskellの型クラスは（名前が同じこともあり）、混同しやす…