で、一意性型って何だ？
- lethevertの純粋関数型言語Concurrent Clean覚え書き(http://www.geocities.jp/lethevert/softwares/clean/)
- 正格性(http://www.geocities.jp/lethevert/softwares/clean/gettingStarted15.html)
- 副作用と一意性(http://www.geocities.jp/lethevert/softwares/clean/gettingStarted19.html)
- 流れとリスト(http://www.geocities.jp/lethevert/softwares/clean/gettingStarted21.html)
- モジュール(http://www.geocities.jp/lethevert/softwares/clean/gettingStarted22.html)
Cleanも勉強しようか……
