[過去ﾛｸﾞ]
次世代言語13 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
次世代言語13 Go Rust Swift Kotlin TypeScript http://mevius.5ch.net/test/read.cgi/tech/1534769753/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 501 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.008s