Concurrent Clean : Clean入門(19) : 副作用と一意性
http://www.geocities.jp/lethevert/softwares/clean/gettingStarted19.html
続いて、「(19)副作用と一意性」を書きました。
混乱しがちな、一意性と正格性の関係を多少説明したつもりです。
http://www.geocities.jp/lethevert/softwares/clean/gettingStarted19.html
続いて、「(19)副作用と一意性」を書きました。
混乱しがちな、一意性と正格性の関係を多少説明したつもりです。