15/07/07 08:27:24.02 5T5xC6ja.net
>>834
Rustは高階カインドやGADT使えないでしょ。モナドすらない。
だけど線形型は使えて（所有権）、要するに基本のHindley-Milner systemからの
強化方向とその背景にある思想が全然違う。
データの構造に対する表現力を求めるのとリソース管理を求めるのと。
なおどっちも突っ込むと人智を超え始めるのはATSを見ればお分かりの通り。
15/07/07 08:27:24.02 5T5xC6ja.net
>>834
Rustは高階カインドやGADT使えないでしょ。モナドすらない。
だけど線形型は使えて（所有権）、要するに基本のHindley-Milner systemからの
強化方向とその背景にある思想が全然違う。
データの構造に対する表現力を求めるのとリソース管理を求めるのと。
なおどっちも突っ込むと人智を超え始めるのはATSを見ればお分かりの通り。