Concurrent Clean : ランクN多相性
http://sky.zero.ad.jp/~zaa54437/programming/clean/LanguageReport21/Chap3.html#sc18
ランクN多相性の記述を見つけた。以前、型システムで混乱したけれど、これに関係している気がする。
ちょっと整理できていないので、「後で書く」
http://sky.zero.ad.jp/~zaa54437/programming/clean/LanguageReport21/Chap3.html#sc18
ランクN多相性の記述を見つけた。以前、型システムで混乱したけれど、これに関係している気がする。
ちょっと整理できていないので、「後で書く」