[過去ﾛｸﾞ]
次世代言語11[Rust Swift TypeScript Dart] (1002ﾚｽ)
次世代言語11[Rust Swift TypeScript Dart] http://mevius.5ch.net/test/read.cgi/tech/1528037607/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
611: デフォルトの名無しさん [sage] 2018/06/19(火) 01:44:59.48 ID:menX4d1R CoqとAgdaは敬遠してるんだよね… あの二つはプログラミング言語じゃなくて証明支援器だって聞いてるから… オレは別にPCに証明問題を解くのを手伝ってもらいたいんじゃなくて、 従来の型システムを発展させた依存型とかを使ったより安全な プログラミングを行うの方法が知りたいんだよって思って… けど、学ぶ順番としてはCoqが先のほうが良かったのかな？ でも、Coqだとどうにもモチベーションが… あと、ついでに線形型も学びたかった…… Rustの所有権・借用・ライフタイムはほぼ理解できてるんでそれほど難しくはないだろうと… まず、依存型で躓いてるんで線形型までたどり着いていない… んー……一度に色々やろうとし過ぎか…(´・ω・｀) http://mevius.5ch.net/test/read.cgi/tech/1528037607/611
616: デフォルトの名無しさん [sage] 2018/06/19(火) 08:33:59.97 ID:menX4d1R >>613 んー…１日置いたらやっと分かったような気がする… 気がしてるだけかもだけどあとは自力でどうにか理解できそう… まあ、新しい概念を覚えるときはどうしても時間が掛かるものだし、 あとは腑に落ちるまでサンプルコードひたすら写経したりするか… 皆ありがとう >>610 ATSの依存型は奇抜なの？ 他の依存型がある言語も似たようなことやるんじゃないの？ http://mevius.5ch.net/test/read.cgi/tech/1528037607/616
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.351s*