次世代言語議論スレ[Go Rust Scala Haskell]第5世代 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/06/13(火) 08:54:07.99

いざ、語ろうぞ。

スレタイ超過のため、一部省略。
その他もウェルカム。

前スレ
次世代言語議論スレ[Go Rust Kotlin Scala]第4世代
http://mevius.2ch.net/test/read.cgi/tech/1492631007/

**デフォルトの名無しさん** · 2017/07/20(木) 23:25:18.58

>>486
これはわかる
でも贅沢言うと、Python2じゃないと動かないライブラリもあるからPythonコマンドに両搭載して欲しいわ

**デフォルトの名無しさん** · 2017/07/21(金) 02:09:05.74

Nim良いよね～

**デフォルトの名無しさん** · 2017/07/23(日) 01:22:57.80

Go言語がダメな理由
http://postd.cc/why-go-is-not-good/

**デフォルトの名無しさん** · 2017/07/23(日) 02:52:57.22

>>492
2014年て

**デフォルトの名無しさん** · 2017/07/23(日) 14:19:04.92

2017年、人気のプログラミング言語トップはPython。C、Javaが続く。
検索、Google Trends、Twitter、GitHub、Stack Overflowなどの人気を総合
2017年7月23日

2017年現在、もっとも人気のあるプログラミング言語は「Python」。2位は「C」、3位は「Java」だと、電気通信分野の標準化団体であるIEEE（アイトリプルイー）が発行するオンラインマガジン「IEEE Spectrum」が、記事「The 2017 Top Programming Languages」で発表しました。

1位となったPythonは昨年3位だったのが2つランクをあげて1位に飛び込みました。

ただし、2位のCとの差は0.3ポイント、3位のJavaとの差も0.5ポイントと、1位、2位、3位の差はほんのわずかなものでした。
ちなみに4位のC++は約3ポイント離れた97.1ポイント、5位のC#は10ポイント以上離れた87.7ポイントですので、いかに上位3位の人気が堅いものかが分ります。

http://www.publickey1.jp/blog/17/2017pythoncjavagoogle_trendstwittergithubstackoverflow.html

http://www.publickey1.jp/2017/ieeesp01.gif

**デフォルトの名無しさん** · 2017/07/23(日) 15:30:28.83

ランキング圏外のsmalltalkはどんだけゴミなんだ
prologすら入ってるというのに

**デフォルトの名無しさん** · 2017/07/23(日) 17:24:27.75

ガイジ低脳エスアイアイのお猿さん言語PHPがランクインしてる時点で
大したランキングじゃないよ

**デフォルトの名無しさん** · 2017/07/23(日) 18:07:27.23

うわー荒らしの妄言のせいでちょっとSmalltlkに期待してしまった可哀想な子かま一人

**デフォルトの名無しさん** · 2017/07/23(日) 18:54:45.61

どうでもいいけどIEEEがやることなんだろうか

**デフォルトの名無しさん** · 2017/07/23(日) 21:16:08.30

「原始的なメモリ管理機能しか備えておらず、それが脆弱性や不具合を生む（中略）
Rust言語を勧めており、特にパーサーや入力ハンドラなどの部分から、徐々に
CのコードをRustに入れ替えていくべきであると主張」

C言語は滅びるべきか | スラドデベロッパー
https://developers.srad.jp/story/17/07/19/0754205/
2017年07月20日 7時00分

**デフォルトの名無しさん** · 2017/07/23(日) 21:40:30.93

2位3位がCとJavaって時点で言語の先進性がランキングに影響してるわけでも無いしね。
(多少は影響するにしても)

あくまで実用言語の世界。

**デフォルトの名無しさん** · 2017/07/23(日) 22:47:29.42

>>499
今アセンブラと言うか、その延長で機械語のどのビットがアセンブラのどの命令によって変化するみたいなの読んだんだが、思ったより機械語理解出来そう。
素直に書いた方がアセンブラだと短いけど、機械語だと長くなるとか、CPUの特性に合わせるにはアセンブラの字面だけ理解してもダメなんだな。

その過程でどうもCはわりと素直にアセンブラにし易い構文だったみたいね。
そう言えばCのコードからアセンブラコード想像し易いけど、C++や他の言語じゃ想像出来ないとか話も聞く。

んでここからが本題なんだが、機械語かアセンブラの構文に意味や所用バイト数、所用クロック数の情報付加したリストから効率良い機械語の組合せ見つけて吐き出すってのはどの言語でも不可能じゃ無い気がしてる。
ただそれには相当深い知識が必要ってだけで。
基本は機械語になる様なバイト列をファイルに書き込めば良いんだから、機械語とプログラムとして動作させるファイルフォーマット形式覚えて、その通りにバイナリファイル書き出せば良い。

**デフォルトの名無しさん** · 2017/07/24(月) 00:43:35.12

高級言語ってのはもともとFORTRAN教えてたダートマスの研究者が
初心者が必ず引っかかる「型」の概念をできるだけ無くそうとして作った
BASICのように"ビット的なことは知らなくていい"流れが一つあって
Cはそれとは別にむしろ"ビット操作ができる高級言語をくれ"というニーズで
作られてシステム寄りで普及した言語だから
「Cに替わる～」もなんも、その界隈ではハードに密着した書き方が求められてて
そこへ遠い上の方から「ハード密着してると危ない！」とか言われても
なんだその「消防士は危ないから遠隔ロボットに置き換えるべき！」的な夢想論は？という感じでですね…

**デフォルトの名無しさん** · 2017/07/24(月) 01:03:44.29

>>155
miniKanrenはどう？

**デフォルトの名無しさん** · 2017/07/24(月) 05:05:21.76

>>495
「すら」とは何だ

**デフォルトの名無しさん** · 2017/07/24(月) 09:02:21.94

FORTH もまだ現役なんだな。安心した。

**デフォルトの名無しさん** · 2017/07/24(月) 17:51:02.45

>>502
だから「C？あんなのは高級アセンブラだ！」となる
大部分の人がC/C++初心者のころつまずいたはずの
「ポインタわけわかんねー」ってのは仕様ｗ
ところでC++というのは何のことでしたっけ？ｗｗ

**デフォルトの名無しさん** · 2017/07/24(月) 19:05:02.59

好きな言語と使う言語は違う

**デフォルトの名無しさん** · 2017/07/24(月) 22:01:44.72

型を理解できない底辺ジャップランド土方どもは
屁臭いペチプァ～でウンコードモリモリ大将軍してればいいよ

**デフォルトの名無しさん** · 2017/07/24(月) 22:18:00.54

Ｃ＋＋の作者ってビョォーン　って名前だっけ？

**デフォルトの名無しさん** · 2017/07/24(月) 22:19:50.90

Objective-Cとかクラス取り回しランタイムのオーバーヘッドで嫌われたのは
わからんでもないけれど、あれそれこそクラスがLAN上の別のマシンで動いてるぐらいの
分散処理を志向してるから、もっと思想が見直されてもいいような気がするが
なぜか、ネット時代になってもディスクリートなプログラムを一つのマシンで動かすぜ！用が
いつまでも手を替え品を替えというのは、教授これはいったい？

C++じゃなくてObjective-Cが流行ればいまのオブジェクト指向絡みの勘違いは
8割方解消されていたろうになぁ

**デフォルトの名無しさん** · 2017/07/24(月) 22:25:12.16

優秀な米留学組は型推論使ってできるだけ隠蔽して
生産性・保守（人材確保）性あげることを考えるはずだけど

一方2chでだべるだけのもいるよねｗ

**デフォルトの名無しさん** · 2017/07/24(月) 22:26:33.91

short とかいらんかったんや。
long long long は準備しとけよ。

**デフォルトの名無しさん** · 2017/07/24(月) 22:54:59.07

抽象化してなんでも隠蔽すればいいと思ってるのはカスだってばよ。

**デフォルトの名無しさん** · 2017/07/24(月) 23:19:09.18

必要なモノまで隠蔽した結果メクラガイジになったペチプァ～～～～さん達の悪口はやめたまえ

**デフォルトの名無しさん** · 2017/07/24(月) 23:22:26.66

>>510
分散オブジェクト指向はJavaも.NETもWindows(COM)もとっくに通った道だろ
デプロイの単位とモジュールの単位とが一致しない技術を人間はうまく扱えないんだよ

**デフォルトの名無しさん** · 2017/07/25(火) 00:06:02.77

ネットに送信するメッセージは文字列と決まっている
だがOOPは抽象的過ぎたのでメッセージとは何かを決めることができなかった

**デフォルトの名無しさん** · 2017/07/25(火) 00:20:13.19

gz圧搾した中韓言語送ればええじゃん

あ · 2017/07/25(火) 01:55:35.53

php書くとき、型は気にするのでは？
eqeqeq使えないじゃん

**デフォルトの名無しさん** · 2017/07/25(火) 06:59:52.83

>>518
静型言語よりもっと型気にせにゃいかんのに
チーム開発で使うと、知らない初心者、気にしないバカ、ケアレスミスが組み合わさって
ほぼ確実にモンスターと化す

あ · 2017/07/25(火) 08:31:31.28

>>519
あー、その地雷は理解できるわ。
型がないからうんぬんペチプァーと言ってるようなやつは前者の2つどっちかって印象。

あの道具に徹する姿勢好きなんだけどね。
気をつけて使うとそこそこまともだし。
敢えてfalsyなものを扱う勇気も要るけど。
気をつけたくないやつには向いてない言語。

言語仕様が破綻してるってのもまぁ、php3の時点であれだったのに、その後また使える文字減ったし、諦めるしかない。

**デフォルトの名無しさん** · 2017/07/25(火) 08:57:41.36

falsy って何やねん？

あ · 2017/07/25(火) 10:08:41.40

>>521
評価した結果falseとみなされる値。

**デフォルトの名無しさん** · 2017/07/27(木) 00:19:42.46

使い捨てのモックとしてならまだしも
そこそこの規模の開発で使って苦しんでる連中は
ただのバカとしか思えんわ

あ · 2017/07/27(木) 11:12:41.51

>>523
既存コード捨てられない病の人居るからねぇ。
あとはフレームワークしか使えない病の人とか。

**デフォルトの名無しさん** · 2017/07/27(木) 11:56:41.88

Lispは神の言語

**デフォルトの名無しさん** · 2017/07/27(木) 15:33:01.66

forthは？

**デフォルトの名無しさん** · 2017/07/27(木) 16:20:31.74

May the Forth be with you!

**デフォルトの名無しさん** · 2017/07/27(木) 18:56:32.71

5月専用言語ってことか。

**デフォルトの名無しさん** · 2017/07/27(木) 19:42:40.59

mlが黄泉から還って左目を洗ったときにsmlが産まれ、右目を洗ったときにOCamlが産まれ、
鼻を洗ったときに産まれたのがF#であるらしい

**デフォルトの名無しさん** · 2017/07/30(日) 23:52:50.44

elmの話題が無いみたいだけど触ってる人いないの？
elmの影響を受けたというreduxをtyprscriptから使ってるけど、
reducerを書くのにimmutable.jsを導入してみたらtypescriptと相性があまり良くなくて悲しい。

どうせならelm触ったほうが幸せになれんのかしら。

**デフォルトの名無しさん** · 2017/07/31(月) 02:15:29.10

低レベル記述は出来なくてもいいから、短く書けて速いバイナリを吐く言語ってなんだろ？

**デフォルトの名無しさん** · 2017/07/31(月) 02:49:09.85

nimとcrystalは？

**デフォルトの名無しさん** · 2017/07/31(月) 09:34:17.04

あまりにもマイナーな言語だと誰も行列計算を実装してくれてなくて面倒臭い

**デフォルトの名無しさん** · 2017/07/31(月) 11:09:33.58

Nim結構良さげな感じするなあ

**デフォルトの名無しさん** · 2017/07/31(月) 14:47:02.65

>>531
goってそれが売りじゃないの？

**デフォルトの名無しさん** · 2017/07/31(月) 14:53:08.10

>>535
俺にはちょっと冗長かなあ……
内包表記もmapもないのは俺には辛い

**デフォルトの名無しさん** · 2017/07/31(月) 15:05:58.03

>>536
関数型がいいならrustじゃないの

**デフォルトの名無しさん** · 2017/07/31(月) 15:12:57.67

本当内包表記もmapもないのは謎だわ
おまけに三項演算子もif式もmatch文もないし
うんこ

**デフォルトの名無しさん** · 2017/07/31(月) 15:13:14.76

match文じゃないmatch式

**デフォルトの名無しさん** · 2017/07/31(月) 15:28:16.20

>>532
nim はバイナリ吐かないけどな。

**デフォルトの名無しさん** · 2017/07/31(月) 15:45:00.94

オブジェクト指向言語で作るときよくOMT(オブジェクトモデリングテクニックとかなんとか)をよく使って設計してたんだけど、
関数型言語で作るときは何使えばいいの?

**デフォルトの名無しさん** · 2017/07/31(月) 16:27:21.72

今思いついたんだが
数学は公理を使えばいいというより、公理以外の何も使わない方がいいな
特に言語に依存するテクニックを使ってはいけない
言語を変えた途端に使えなくなるので

**デフォルトの名無しさん** · 2017/07/31(月) 16:28:38.94

三項演算子は構文がまるで違うからね
式中にもif書けるようにするからそれ使えの方向
（逆にif廃止全部三項演算子使えな言語があったらおもしろいけどｗ）

**デフォルトの名無しさん** · 2017/07/31(月) 19:35:10.71

>>541
関数型の重要な設計指針として、トップダウンで考えるというのがある
1. 問題全体の結果を求める関数のスタブを作る
2. スタブを一つ選ぶ
3. 2で選んだ関数を実装するために必要なものを考え、それぞれを求める関数のスタブを作る
4. 2へ戻る
これを、すべての関数が十分(容易に実装できるレベル)に細分化されるまで繰り返す
こうやっていくと非常に明快で平易なコードになる
逆に入力から出力を導くという考え方で作ろうとすると、俺スゲェに陥って意味不明なコードになりやすい

**デフォルトの名無しさん** · 2017/07/31(月) 19:54:36.50

>>544
構造化手法ですか
業務系はオブジェクト指向のが良さそうだ

**デフォルトの名無しさん** · 2017/07/31(月) 20:05:13.60

「おまえはこういうコマンドを与えるとこれをやるクラス」って
トップダウンで構造決めてくオブジェクト指向の基本手法の
単語入れ替えたコピペかと思ったw
そしてそれならコマンドに対するふるまい変えられるオブジェクト指向の方がいいや

**デフォルトの名無しさん** · 2017/07/31(月) 20:42:45.33

トップダウンの細分化をどこで止めるかを考えないと意味がない
CPUの種類までトップが決めるのか？
CPUを変えたり仮想関数のふるまいを変えたいならトップダウンを止める必要がある

**デフォルトの名無しさん** · 2017/07/31(月) 21:03:46.00

>>537
この需要ならrustがベストかいなー
何をするにも面倒な言語というイメージがあって避けて来たけどやってみるか
ありがと

**デフォルトの名無しさん** · 2017/07/31(月) 21:35:05.34

もし関数型で大規模な業務アプリを作るなら、大まかなところは伝統的なIPOベースのDFDで描いて
各プロセスを>>544のようなスタイルで実装していくことになるんじゃないかな
データ指向の設計ってCOBOL時代に既に完成してて、あとは莫大なコピペコードの問題を関数型の高度な宣言的記述によって回避できるなら
設計手法としてはわざわざ意識高そうな複雑な手法を持ち出すまでもなく十分に完成と言えると思う

**デフォルトの名無しさん** · 2017/07/31(月) 23:51:23.68

俺が若い頃(90年頃)はC言語の事を
関数型言語と呼んでたのに。

**デフォルトの名無しさん** · 2017/08/01(火) 08:07:11.18

今じゃlispも関数型に入れてもらえるかどうか

**デフォルトの名無しさん** · 2017/08/01(火) 09:55:49.70

そろそろ次次世代が気になる

**デフォルトの名無しさん** · 2017/08/01(火) 12:52:24.85

関数型が注目されてるのってマルチコア時代の並列処理を効率良く動かすための
手法として注目されてるわけで
更に次の世代というと、量子コンピュータってことになるけど
今の実用化している量子コンピュータは機械学習に最適化されてるんで
つまり機械学習専用言語ってことになるのかな

**デフォルトの名無しさん** · 2017/08/01(火) 13:12:51.64

>>553
飽きてきたから次のおもちゃってことだろ

**デフォルトの名無しさん** · 2017/08/01(火) 15:56:17.80

機械学習のハードが実現してなくても、ソフトで実現すれば数世代先取りできるだろ
現にソフトで機械学習やってるし
ソフトでやるのに飽きた頃にハードが出てくる

**デフォルトの名無しさん** · 2017/08/01(火) 16:42:50.10

機械学習専用ハード(ASIC)もうあるよグーグルTPUとか

**デフォルトの名無しさん** · 2017/08/01(火) 17:03:33.70

ハードの実験っていうかオープンソースじゃない実験は再現性が怪しい

**デフォルトの名無しさん** · 2017/08/02(水) 00:22:40.42

VHDLに代わる言語が出てもいいかな。

**デフォルトの名無しさん** · 2017/08/03(木) 18:26:45.17

OCamlが学問分野で今微妙にアツイらしい

**デフォルトの名無しさん** · 2017/08/03(木) 19:50:47.86

>>559
どういう理由でアツイの？
またその「学問分野」って具体的にはどの分野？

**デフォルトの名無しさん** · 2017/08/03(木) 19:54:19.27

>>559
Googleは君の興味関心を学習して君の見たい世界を見せているということを念頭に置いておいたほうがいいよ

**デフォルトの名無しさん** · 2017/08/03(木) 20:14:27.98

>>560
東大辺りの奴らで、機械学習をわざわざOCamlで書いてる輩が増えているらしい。ライブラリも整備されてきたってよ
>>561
知ってる。ちなみにOCamlの情報はGoogleじゃなくてリアルの交友経由の情報

**デフォルトの名無しさん** · 2017/08/03(木) 21:01:12.44

OCamlに限った話ではない

**デフォルトの名無しさん** · 2017/08/03(木) 21:24:53.35

まああくまで微妙にアツイだからな
ScalaとかHaskellもあったかな？
他はもうC++FortranPythonMatlabMathematicaしか知らんなあ
ケムインフォマティックスなんかはHaskell Scalaはやってる人いるけど Ocamlは聞かないし、やっぱりHaskell Scalaのが上かな？

**デフォルトの名無しさん** · 2017/08/03(木) 21:35:28.91

haskell とか scala とかってもはや学習した時間を無駄だと思いたくない人たちが
無理やり盛り上げてるようにしか思えないんだが。

**デフォルトの名無しさん** · 2017/08/03(木) 21:36:52.08

OCamlはマルチコア対応になったらまた始めたい
Jocamlとか折角面白いのにシングルコアなんで魅力半減

**デフォルトの名無しさん** · 2017/08/03(木) 21:37:14.15

>>565
は？

**デフォルトの名無しさん** · 2017/08/03(木) 22:18:12.98

HaskellもScalaも関数型言語の考え方だけ学んだら用済みで、
取り入れるだけ取り入れたJava8や、Kotlinが正義
このスレでは叩かれたが、今となっては俺の言った通りになったじゃないか

**デフォルトの名無しさん** · 2017/08/03(木) 22:21:48.14

正直kotlinが優勢だよね。感覚的には
golangは早めに安定したから今はやってるけど、
また状況は変わりそう。
rustはメモリオーナーシップモデルをswiftにパクられたらいらない子になりそう。

**デフォルトの名無しさん** · 2017/08/03(木) 22:25:27.52

>>565
たし蟹
Scalaはそこそこ良い言語だったけど
尖りすぎてKotlinにあっさり置いて枯れてしまった

**デフォルトの名無しさん** · 2017/08/03(木) 22:39:07.10

kotlinはscalaの知識使えるし別に
webならplayあるscalaの方が有利だし使い分けじゃね

**デフォルトの名無しさん** · 2017/08/03(木) 23:08:37.77

>>571
Playは絶賛失速中だろう
コミュニティは機能してないし勉強会もイベントもなく、QiitaやTwitterにももう何もない
Scalaで使ってた人はRailsやDjangoを使い始め、Javaやってる人はSpringに戻っていった

**デフォルトの名無しさん** · 2017/08/03(木) 23:29:24.10

やっぱりGroovyやってた人たちが一番先見性あったな
次はどの言語だろう…

**デフォルトの名無しさん** · 2017/08/03(木) 23:39:13.81

一時のscala ブームは何だったのか？

**デフォルトの名無しさん** · 2017/08/04(金) 00:11:57.82

>>572
今さらRailsとかどんだけセンスないのおまえ（暗黒藁半紙）

型無し能無しセンスなしの糞ゴミ言語は全員死ね
マツボックリだかなんだか知らんヒゲ爺は
さっさとこのゴミ言語を潰せボケ

**デフォルトの名無しさん** · 2017/08/04(金) 01:18:05.91

java8w

**デフォルトの名無しさん** · 2017/08/04(金) 04:09:41.88

rubyってrailsで当てた一発屋なのにね。

**デフォルトの名無しさん** · 2017/08/04(金) 10:42:41.04

型無し能無しセンス無し

**デフォルトの名無しさん** · 2017/08/04(金) 12:14:49.37

セイロンの事も忘れないでね

**560** · 2017/08/04(金) 14:49:35.41

>>562
レスと御教示ありがとう
機械学習のコードをOCamlでですか

**デフォルトの名無しさん** · 2017/08/04(金) 23:25:50.79

むやみやたらと大量のソースコードを量産して、ディスクの肥やしにする最近の風潮になじめない。

元凶はJavaあたりか。

価値のあるコードってのは、定義が難しそうだけど、

たとえば実行可能コードとそのソースコードのボリューム比較を考えてみると、
ソースが理不尽にふくらんでいる気がする。

hello,worldに数十行ってのは本末転倒。

なんでもかんでもオブジェクト指向しなくても、昔も別に困ったわけじゃないんだから、OOが必然ではないはず。

どんどん全体を見渡せる、いわゆる、神の目を持つものが少なくなっている。

まあ、仕事を増やすって意味で業界に貢献してるんだろうけど、ばかばかしいほどにまで非効率になっている
気がするね。

**デフォルトの名無しさん** · 2017/08/04(金) 23:50:29.87

記憶力が落ちただけだと思うよ
自分で気付いてないだけ

**デフォルトの名無しさん** · 2017/08/05(土) 00:35:23.13

どこの世界の話だ
ここ最近の風潮では、短いコードが正義だと関数型を採用しひたすら抽象化に邁進する流れじゃないのか

**デフォルトの名無しさん** · 2017/08/05(土) 01:02:28.33

どこの世界の話だ

**デフォルトの名無しさん** · 2017/08/05(土) 02:27:20.31

少なくとも日本ではなさそうだな

ジャップランド土人は屁臭いペチプゥで
型無し能無しセンス無しの糞コードウンコモリモリ大将軍してる
基地害低脳ゴミカスしかおらんからな

**デフォルトの名無しさん** · 2017/08/05(土) 09:39:30.67

Petit peu な Codeaux un commois liais mois liais?

**デフォルトの名無しさん** · 2017/08/05(土) 12:37:44.56

Ceylon は消えるだろうな。キラーアプリが出てくれば別だけど。
（Ruby がRailsで一発当てたみたいに、すごいソフトが出てくればの話だけど）

**デフォルトの名無しさん** · 2017/08/05(土) 12:38:46.91

最近のKotolin 推しって何なの？
一時期Scala を押していた人たちがKotolin に移っているのかな？

**デフォルトの名無しさん** · 2017/08/05(土) 12:56:21.44

Androidもしらないサーバーサイドお爺ちゃん
組み込み曾お爺ちゃんの後を継ぐのは君だ

**デフォルトの名無しさん** · 2017/08/05(土) 13:04:32.77

きっかけはAndroidの件だけど、Kotlinを話題にしてるのはサーバーサイドの連中が中心だろう
Android開発なんて金にならない三流分野で、プログラミングのメインストリームを変えるような影響力なんて無いよ