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の方が表現力が上だって勝手に思ってるけど、どうなんだろう。
マウンティングうるさい人がいるので、そうだと思わないで欲しい。素直な疑問。