#先の post は、型構成子クラスが導入されたのが 1.3 だということです。分かりにくかったと思うので、念のため。
#1.3 の仕様を見てみたのですが、新機能として紹介する部分では型構成子クラスと書かれているものの、型クラスを説明する4.1節にはおなじみの「このレポートではもはや型クラスと型構成子クラスという二つの用語を区別する理由はない」という記述がありますね。
#@nobsun というわけで、1.3 で型構成子クラス導入した時点でもう既に型クラスと型構成子クラスは区別する必要がなくなっていた、ということで良いようです。
#.圏論勉強会会場なう。……という風にやれば良いのかな？
#@hiroki_f とりあえず、来月の圏論勉強会は15日にしました。
#lemma 5.7 の (c) の証明終了。
##というわけで、今回の圏論勉強会は終了です。お疲れさまでした。
# 
haskell-ja > Archives > 2009/10/18