[過去ﾛｸﾞ] 次世代言語13 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
上下前次1-新

---

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

---

501: 2018/09/06(木)05:51 ID:YGmGLZO1(1/2) AA×
>>492


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
501: [sage] 2018/09/06(木) 05:51:15.46 ID:YGmGLZO1 >>492 それは、どこまでを依存型と呼ぶかが難しいんだ 型の属性として(実行時の)値を使えるというだけなら結構多くの言語ができる Adaも最初の83からできるし、最近のFortranもできる。C言語もVLAに限ればできる。勿論動的な言語はほぼ全部できる しかし依存型と言われて期待するのは証明、それも静的なヤツなわけで これは型と型の関係を記述できる関数(熟語)をかなり強力なレベルで書けないとできない あと、厳密にラムダキューブに則った定義しか認めないとなると、関数型言語以外はどんなに強力でも全滅ってことになるし http://mevius.5ch.net/test/read.cgi/tech/1534769753/501
それはどこまでを依存型と呼ぶかが難しいんだ 型の属性として実行時の値を使えるというだけなら結構多くの言語ができる も最初のからできるし最近のもできる言語もに限ればできる勿論動的な言語はほぼ全部できる しかし依存型と言われて期待するのは証明それも静的なヤツなわけで これは型と型の関係を記述できる関数熟語をかなり強力なレベルで書けないとできない あと厳密にラムダキューブに則った定義しか認めないとなると関数型言語以外はどんなに強力でも全滅ってことになるし

---

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

---

あと 501 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.034s