Generic Haskellの資料を見ながら、Generic Programmingのお勉強中。 CleanのGenericsはgeneric functionのindexにkindしか取れないようで。実際に適用されるtypeは、type inferenceに任せるしかなさそう。 でもって、CleanにはAscriptionの構文がないので、…

[id:sumii:20061013:1160743984] # controversialなところにわざわざな感はあるのですが・・・ 言語研究としてOOと関数型が対立しないのはわかるのですが、 OOの方面で蓄積されてきた資産を、関数的OOに適用したときに、どの程度の変更が必要になるのかとか…