[過去ログ] 次世代言語12 Go Rust Swift Kotlin TypeScript (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
70: デフォルトの名無しさん [sage] 2018/07/08(日) 13:08:33.64 ID:NBiUl0PE(1/3) AAS
>>69
69(2): デフォルトの名無しさん [sage] 2018/07/08(日) 12:39:57.58 ID:REv9Ipmw(1/2) AAS
古くさ
どこが古臭いんだ?
これもATS2とかIdrisとかと同じで依存型がある証明系の言語だろ?
ガチガチの最新言語じゃん
75
(1): デフォルトの名無しさん [sage] 2018/07/08(日) 14:25:02.81 ID:NBiUl0PE(2/3) AAS
>>72
72(2): デフォルトの名無しさん [sage] 2018/07/08(日) 13:50:52.78 ID:REv9Ipmw(2/2) AAS
F* でできる程度の依存型なんて70年代の話題じゃん
70年代かどうかは知らんが依存型関連の理論自体は昔からあることは知ってる
F*はつい最近知ったので詳しくないから他の言語の依存型とどう違うかは知らないが、
これが最新じゃなかったら君にとっての最新の言語はなんなの?
具体的に「どこがどう違うから新しい」ってとこまで含めて教えて
81: 75 [sage] 2018/07/08(日) 21:11:56.23 ID:NBiUl0PE(3/3) AAS
こういう風に聞くと大抵は黙るのなんなの?
こっちは純粋な興味で聞いてるのに
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.425s*