17/03/04 15:25:41.48 X2My6T7M.net
いざ、語ろうぞ。
スレタイ超過のため、一部省略。
Go, Erlang, Kotlin, etcもウェルカム。
前スレ
次世代言語議論スレ【Go Rust Haskell Scala Erlang Elixir】 第二世代 [無断転載禁止]©2ch.net
ｽﾚﾘﾝｸ(tech板)
2:デフォルトの名無しさん
17/03/04 15:26:51.55 X2My6T7M.net
Let's go to neXt Generation...
3:デフォルトの名無しさん
17/03/04 15:56:40.80 X2My6T7M.net
# POST NEXT GENERATION LANGUAGES
- Elixir
- Erlang
- Go
- Haskell
- Kotlin
- Rust
- Scala
(sorted in alphabetical order)
4:デフォルトの名無しさん
17/03/04 16:52:26.37 2fztGO7X.net
あれ〜Swiftは・・・？
5:デフォルトの名無しさん
17/03/04 17:48:13.76 /imazuHh.net
Clojure��
6:デフォルトの名無しさん
17/03/04 19:21:56.52 S34ljy53.net
>>1
次の次世代の本命はProlog
それ以外はなくなる
7:デフォルトの名無しさん
17/03/04 21:07:48.36 gyQpa9Hb.net
>>6
>それ以外はなくなる
知識プログラミングの時代は来るだろうがさすがにこれは言い過ぎ
8:デフォルトの名無しさん
17/03/04 21:13:28.87 wuF6ZyHX.net
>>1
乙
個人的には、それらと異なるパラダイムのCoqかAgdaをスレタイに入れてほしかったが。
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の方が表現力が上だって勝手に思ってるけど、どうなんだろう。
マウンティングうるさい人がいるので、そうだと思わないで欲しい。素直な疑問。