2007-07-14から1日間の記事一覧
モナド*1ファンクターって何? 要するに、型や値に色をつけるってことだよ。 色って? Int型をInt型とかInt型と色わけしたり、1という値を1にしたりね。色をつけるにはreturnを使う。それとか、1 + 3じゃダメで、ここは+も緑にしてやらにゃ。それがLiftM2。…
モナド*1ファンクターって何? 要するに、型や値に色をつけるってことだよ。 色って? Int型をInt型とかInt型と色わけしたり、1という値を1にしたりね。色をつけるにはreturnを使う。それとか、1 + 3じゃダメで、ここは+も緑にしてやらにゃ。それがLiftM2。…