次世代言語11[Rust Swift TypeScript Dart]

次世代言語11[Rust Swift TypeScript Dart]at TECH

次世代言語11[Rust Swift TypeScript Dart] - 暇つぶし2ch483:デフォルトの名無しさん
18/06/16 15:47:39.71 jT+SN6fe.net
>>475
idrisって依存型はあるけど線形型もあるの？
依存型については何となく分かってきたんだけど、
線形型についてはまださっぱりなんだよね…
Rustの所有権とはまた違う概念なの？

次ページ