instanceが型をつくる、という表現はおかしいような。 instanceがclassの実装をつくる、って感じ？

何書いてたか忘れてしまったので全然違う話。Haskellと型。なんだけど、時間が無いので超省略気味で。 Haskellっつーと、遅延評価とモナドが注目されがちなんだけど、classとinstanceで型をつくるシステムも結構面白いような気がした。 なにが面白いか？さっ…

別にそういう食生活をしているわけではない。

くさってます。

というわけで（どういうわけだ）、夜中に作業しないで、朝に作業しようと思ったものの、毎日8時間睡眠になるというありがちな結果になってしまい、何の作業もしてない。