次世代言語11[Rust Swift TypeScript Dart]at TECH次世代言語11[Rust Swift TypeScript Dart] - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト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の所有権とはまた違う概念なの？ 484:デフォルトの名無しさん 18/06/16 16:21:38.95 z7/sTfN7.net >>476 そのものはないけどuniquenessとborrowedがある rustの所有権もその辺りに基づいてはいる そのものはHaskellで提案されているくらいであとは自前実装しかないかなぁ 485:デフォルトの名無しさん 18/06/16 17:37:25.12 jT+SN6fe.net >>477 勉強用なんで「そのもの」が欲しいんだよね てか、ATS2の線形型はそのものだと思っていいんだよな…？ 名前は線形型だけど実際には線形型擬きでしたじゃ勉強用としてちょっと… 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch