連接がモナドなのだとしたら、反復は再帰だろう。選択は…遅延評価？

インスタンスとは、型クラスにおいて要求されている関数を具体的に実装した「型」…であると思っていたのだが、「型構成子」でも良いそうだ。ここのところがなかなか飲み込めない。ディスパッチする関数を決定するという点においては、型構成子でも十分に決定…

言いきってしまったが、実のところ、あまり自信はない。と、エチケットペーパーを敷いてからはじめるよ。 Haskellにおけるモナドの本質は、「つなぐ」ところにあるのではないだろうか。 例えば、IOモナドは副作用をつなぐ事で、実行順番を指定する。Maybeモ…