[過去ﾛｸﾞ]
次世代言語12 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
次世代言語12 Go Rust Swift Kotlin TypeScript http://mevius.5ch.net/test/read.cgi/tech/1530664695/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
72: デフォルトの名無しさん [sage] 2018/07/08(日) 13:50:52.78 ID:REv9Ipmw F* でできる程度の依存型なんて70年代の話題じゃん http://mevius.5ch.net/test/read.cgi/tech/1530664695/72
75: デフォルトの名無しさん [sage] 2018/07/08(日) 14:25:02.81 ID:NBiUl0PE >>72 70年代かどうかは知らんが依存型関連の理論自体は昔からあることは知ってる F*はつい最近知ったので詳しくないから他の言語の依存型とどう違うかは知らないが、 これが最新じゃなかったら君にとっての最新の言語はなんなの？ 具体的に「どこがどう違うから新しい」ってとこまで含めて教えて http://mevius.5ch.net/test/read.cgi/tech/1530664695/75
93: デフォルトの名無しさん [sage] 2018/07/08(日) 23:10:58.63 ID:eqhX0y9a 実際>>69>>72にとって古くさくない言語って何だったんだろうな http://mevius.5ch.net/test/read.cgi/tech/1530664695/93
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.030s