[過去ﾛｸﾞ] 次世代言語13 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
944(2): デフォルトの名無しさん [sage] 2018/09/11(火) 21:38:23.95 ID:sFLqh4KF(1) AAS
>>895
895(1): デフォルトの名無しさん [sage] 2018/09/11(火) 09:33:59.85 ID:THBnA1g1(1) AAS
>>657
ats2って知らなかった
理論先行と思いきやcとミックスできるんだな、面白そう
勉強してみるサンキュー
チュートリアルみつつ動かしてみたがクソ難しかったわw
MLや型理論や線形論理の初歩ぐらいはわかってるつもりなんだが
948(2): デフォルトの名無しさん [] 2018/09/11(火) 21:46:09.95 ID:IbNIlios(4/5) AAS
>>944
新しく言語触るときって何書いて感触掴む？
Hello Worldの次に
950: デフォルトの名無しさん [sage] 2018/09/11(火) 21:49:40.72 ID:0ST0xC6B(4/4) AAS
>>944
ちょっと分かる
難しい難しいって言われてるRust出来るから大丈夫だろ
と思って軽い気持ちでATS2試してみたら痛い目に遭った

でも依存型の検証プログラミングは知見が広がって楽しい
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.157s*