次世代言語議論スレ[Go Rust Haskell Scala]第3世代at TECH次世代言語議論スレ[Go Rust Haskell Scala]第3世代 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト9:デフォルトの名無しさん 17/03/04 21:18:09.53 a1Qd0ocB.net Prologのネガキャンお疲れ様です 10:デフォルトの名無しさん 17/03/04 23:17:47.90 N8WZp5To.net >>8 AgdaやCoqはプログラム言語としても浮上できそうなのかな 11:デフォルトの名無しさん 17/03/04 23:52:16.78 +9qG5EdN.net kotlin はほんとの「java script」 って感じやね。 12:デフォルトの名無しさん 17/03/05 05:17:38.13 rlVSvpqM.net >>11 Groovyがそうだったけど Kotlinは堅めだと思う 13:6 17/03/05 05:46:42.24 BRHv0ACr.net >>7 知識プログラミング ICOTも後半この言葉を使ったのだが曖昧なんですね 14:デフォルトの名無しさん 17/03/05 09:15:29.11 CRVYE2F+.net >>13 Prologって一階の述語論理以上を扱えるの？ 自分はProlog触ったこと無いから、CoqやAgdaの方が表現力が上だって勝手に思ってるけど、どうなんだろう。 マウンティングうるさい人がいるので、そうだと思わないで欲しい。素直な疑問。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch