[過去ﾛｸﾞ] 次世代言語13 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)

次世代言語13 Go Rust Swift Kotlin TypeScript http://mevius.5ch.net/test/read.cgi/tech/1534769753/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

492: デフォルトの名無しさん [sage] 2018/09/06(木) 02:01:31.14 ID:3Abdeyqw 依存型難し過ぎて流行らないよなぁって気持ちが強いがどうなんだろうな Ada20に採用されたら笑う http://mevius.5ch.net/test/read.cgi/tech/1534769753/492

511: デフォルトの名無しさん [sage] 2018/09/06(木) 09:56:35.47 ID:3Abdeyqw >>503 多分言わんとする所は理解できた こちらとしては証明を含めた静的な世界での依存型が難しいという話で、単に型に値を含めるようなのはそちらの言うとおり既に実務向け言語でいくつか有るので、それらは依存型から除いて流行らないと言ってしまったな http://mevius.5ch.net/test/read.cgi/tech/1534769753/511

531: デフォルトの名無しさん [sage] 2018/09/06(木) 19:32:15.79 ID:3Abdeyqw 依存型の話しようよう…… http://mevius.5ch.net/test/read.cgi/tech/1534769753/531

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.027s