[過去ﾛｸﾞ] 次世代言語13 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
492(1): デフォルトの名無しさん [sage] 2018/09/06(木) 02:01:31.14 ID:3Abdeyqw(1/3) AAS
依存型難し過ぎて流行らないよなぁって気持ちが強いがどうなんだろうな
Ada20に採用されたら笑う
511: デフォルトの名無しさん [sage] 2018/09/06(木) 09:56:35.47 ID:3Abdeyqw(2/3) AAS
>>503
多分言わんとする所は理解できた
こちらとしては証明を含めた静的な世界での依存型が難しいという話で、単に型に値を含めるようなのはそちらの言うとおり既に実務向け言語でいくつか有るので、それらは依存型から除いて流行らないと言ってしまったな
531: デフォルトの名無しさん [sage] 2018/09/06(木) 19:32:15.79 ID:3Abdeyqw(3/3) AAS
依存型の話しようよう……
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s