[過去ﾛｸﾞ] 次世代言語12 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

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

---

70: 2018/07/08(日)13:08 ID:NBiUl0PE(1/3) AAS
>>69
どこが古臭いんだ？
これもATS2とかIdrisとかと同じで依存型がある証明系の言語だろ？
ガチガチの最新言語じゃん

---

75(1): 2018/07/08(日)14:25 ID:NBiUl0PE(2/3) AAS
>>72
70年代かどうかは知らんが依存型関連の理論自体は昔からあることは知ってる
F*はつい最近知ったので詳しくないから他の言語の依存型とどう違うかは知らないが、
これが最新じゃなかったら君にとっての最新の言語はなんなの？
具体的に「どこがどう違うから新しい」ってとこまで含めて教えて

---

81: 75 2018/07/08(日)21:11 ID:NBiUl0PE(3/3) AAS
こういう風に聞くと大抵は黙るのなんなの？
こっちは純粋な興味で聞いてるのに

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.049s