- 1 名前：デフォルトの名無しさん mailto:sage [2017/03/04(土) 15:25:41.48 ID:X2My6T7M.net]
- いざ、語ろうぞ。
スレタイ超過のため、一部省略。
Go, Erlang, Kotlin, etcもウェルカム。
前スレ
次世代言語議論スレ【Go Rust Haskell Scala Erlang Elixir】 第二世代 [無断転載禁止]©2ch.net
echo.2ch.net/test/read.cgi/tech/1486816357/
- 2 名前：デフォルトの名無しさん mailto:sage [2017/03/04(土) 15:26:51.55 ID:X2My6T7M.net]
- Let's go to neXt Generation...
- 3 名前：デフォルトの名無しさん mailto:sage [2017/03/04(土) 15:56:40.80 ID:X2My6T7M.net]
- # POST NEXT GENERATION LANGUAGES
- Elixir
- Erlang
- Go
- Haskell
- Kotlin
- Rust
- Scala
(sorted in alphabetical order)
- 4 名前：デフォルトの名無しさん mailto:sage [2017/03/04(土) 16:52:26.37 ID:2fztGO7X.net]
- あれ〜Swiftは・・・？
- 5 名前：デフォルトの名無しさん [2017/03/04(土) 17:48:13.76 ID:/imazuHh.net]
- Clojure��
- 6 名前：デフォルトの名無しさん mailto:sage [2017/03/04(土) 19:21:56.52 ID:S34ljy53.net]
- >>1
次の次世代の本命はProlog
それ以外はなくなる
- 7 名前：デフォルトの名無しさん mailto:sage [2017/03/04(土) 21:07:48.36 ID:gyQpa9Hb.net]
- >>6
>それ以外はなくなる
知識プログラミングの時代は来るだろうがさすがにこれは言い過ぎ
- 8 名前：デフォルトの名無しさん [2017/03/04(土) 21:13:28.87 ID:wuF6ZyHX.net]
- >>1
乙
個人的には、それらと異なるパラダイムのCoqかAgdaをスレタイに入れてほしかったが。
- 9 名前：デフォルトの名無しさん [2017/03/04(土) 21:18:09.53 ID:a1Qd0ocB.net]
- Prologのネガキャンお疲れ様です
- 10 名前：デフォルトの名無しさん mailto:sage [2017/03/04(土) 23:17:47.90 ID:N8WZp5To.net]
- >>8
AgdaやCoqはプログラム言語としても浮上できそうなのかな
- 11 名前：デフォルトの名無しさん mailto:sage [2017/03/04(土) 23:52:16.78 ID:+9qG5EdN.net]
- kotlin はほんとの「java script」 って感じやね。
- 12 名前：デフォルトの名無しさん mailto:sage [2017/03/05(日) 05:17:38.13 ID:rlVSvpqM.net]
- >>11
Groovyがそうだったけど
Kotlinは堅めだと思う
- 13 名前：6 mailto:sage [2017/03/05(日) 05:46:42.24 ID:BRHv0ACr.net]
- >>7
知識プログラミング
ICOTも後半この言葉を使ったのだが曖昧なんですね
- 14 名前：デフォルトの名無しさん mailto:sage [2017/03/05(日) 09:15:29.11 ID:CRVYE2F+.net]
- >>13
Prologって一階の述語論理以上を扱えるの？
自分はProlog触ったこと無いから、CoqやAgdaの方が表現力が上だって勝手に思ってるけど、どうなんだろう。
マウンティングうるさい人がいるので、そうだと思わないで欲しい。素直な疑問。
|
 |
