[過去ﾛｸﾞ]
次世代言語12 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
次世代言語12 Go Rust Swift Kotlin TypeScript http://mevius.5ch.net/test/read.cgi/tech/1530664695/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
70: デフォルトの名無しさん [sage] 2018/07/08(日) 13:08:33.64 ID:NBiUl0PE >>69 どこが古臭いんだ？ これもATS2とかIdrisとかと同じで依存型がある証明系の言語だろ？ ガチガチの最新言語じゃん http://mevius.5ch.net/test/read.cgi/tech/1530664695/70
75: デフォルトの名無しさん [sage] 2018/07/08(日) 14:25:02.81 ID:NBiUl0PE >>72 70年代かどうかは知らんが依存型関連の理論自体は昔からあることは知ってる F*はつい最近知ったので詳しくないから他の言語の依存型とどう違うかは知らないが、 これが最新じゃなかったら君にとっての最新の言語はなんなの？ 具体的に「どこがどう違うから新しい」ってとこまで含めて教えて http://mevius.5ch.net/test/read.cgi/tech/1530664695/75
81: 75 [sage] 2018/07/08(日) 21:11:56.23 ID:NBiUl0PE こういう風に聞くと大抵は黙るのなんなの？ こっちは純粋な興味で聞いてるのに http://mevius.5ch.net/test/read.cgi/tech/1530664695/81
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.045s