次世代言語11[Rust Swift TypeScript Dart]at TECH次世代言語11[Rust Swift TypeScript Dart] - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト478:デフォルトの名無しさん 18/06/16 12:59:10.88 q1gUWLEE.net 人間はねぇ簡単に壊れるんだよ。 そして壊れたらまず戻せない 479:デフォルトの名無しさん 18/06/16 14:07:04.14 z7/sTfN7.net カリーハワード同型対応も知らないのに型を語るのかぁってなってる 480:デフォルトの名無しさん 18/06/16 15:03:43.59 jT+SN6fe.net 最近、依存型と線形型について勉強し始めたんだけど、 依存型と線形型の両方が使える言語ってATS2以外に何かある？ 481:デフォルトの名無しさん 18/06/16 15:09:40.70 XlvliOa0.net なんのこれしき なんの小錦 482:デフォルトの名無しさん 18/06/16 15:17:18.76 z7/sTfN7.net >>473 idrisは？ 483:デフォルトの名無しさん 18/06/16 15:47:39.71 jT+SN6fe.net >>475 idrisって依存型はあるけど線形型もあるの？ 依存型については何となく分かってきたんだけど、 線形型についてはまださっぱりなんだよね… Rustの所有権とはまた違う概念なの？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch