次世代言語Part7[Go Rust Swift Kotlin TypeScript]

**デフォルトの名無しさん** · 2017/10/19(木) 17:51:38.66

文字数制限きついので改題
スレタイ以外の言語もok

前スレ
次世代言語議論スレ[Rust Kotlin Haskell]第6世代
http://mevius.5ch.net/test/read.cgi/tech/1503924817/

◆QZaw55cn4c · 2017/11/26(日) 21:51:01.31

まだ gcj の方が役に立つと思うのだが…openJDK に移行してしまったようだね

**デフォルトの名無しさん** · 2017/11/26(日) 22:09:01.03

Idrisの話でもする？

**デフォルトの名無しさん** · 2017/11/26(日) 22:26:19.56

TSやFlowtypeは明らかに救済だろ
地獄のごった煮なフロントエンドに一筋の光をもたらした
実案件でTS使ってるが、素のJSなら確実に破綻していた

**デフォルトの名無しさん** · 2017/11/26(日) 22:30:22.25

>>824
おう、Idrisの話をしよう

あ · 2017/11/26(日) 23:23:32.48

>>822
依存型が、いわゆる依存積みたいなものの事を言ってるなら、それこそ的外れ。

>>823
gcj、あんま良いところ無かったからな。
AOTぐらいだけど、パフォーマンスは落ちがちだったし。

**デフォルトの名無しさん** · 2017/11/26(日) 23:24:09.06

>>811
確かに

あ · 2017/11/26(日) 23:33:46.45

積だけじゃなくて、和もそうだな。
どーせTypeScriptのUnionTypesあたりの、直和型と見せかけて、undefinedなんかも入りうる気持ち悪いものをありがたがってるんだろうけど。

それこそ意識高いHaskeller様で、何かとても良い空論でも教えてくれるのかもしれんけどな。

**デフォルトの名無しさん** · 2017/11/26(日) 23:36:35.81

>>822 単に「型が無ければ解決できない問題は無いからなあ」という馬鹿発言を嘲笑してるだけだぞ
酒が抜けるまでレスすんな。酒飲んでないでそんなレスしかできないならトリップ付けてろ。NGに入れといてやるから

**デフォルトの名無しさん** · 2017/11/26(日) 23:40:05.59

>>821
標準ライブラリが充実してる。
httpサーバが簡単に作れる。各種プロトコルも標準ライブラリに入ってる。
例えばsshもopensshに頼らずに自前で実装してる。
結果として外部依存が少ないバイナリが作れる。
https://mattn.kaoriya.net/software/lang/go/20170111165324.htm

ってところが魅力。
あとオブジェクト指向的には継承の簡易さに対してデメリットがでかいことがわかってきたからgoの方向性はそんなに変でもないと思う。

後はコンパイルが早い。と言うかコンパイルの速さのために
言語仕様を妥協してるところがある。（継承がないのもコンパイルの速さを優先してる）

**デフォルトの名無しさん** · 2017/11/27(月) 00:14:50.55

継承がない場合、GUIライブラリはどういう形に落ち着くんだろう？

**デフォルトの名無しさん** · 2017/11/27(月) 00:19:16.06

>>832
インターフェイスじゃね

**デフォルトの名無しさん** · 2017/11/27(月) 01:24:38.90

E言語作ろうぜ

**デフォルトの名無しさん** · 2017/11/27(月) 01:43:28.34

>>830
横からすまんが、
依存型を使ったことがないゆとりの俺に依存型がないと解決できない問題の例を教えてはくれないか……

**デフォルトの名無しさん** · 2017/11/27(月) 04:02:10.71

>>835
配列の静的な境界チェック

**デフォルトの名無しさん** · 2017/11/27(月) 07:45:57.79

Rustの静的型チェックは確かに発見困難なバグを見つけてくれる感ある

他のしょーもない言語の型チェックは
ふつうにテスト書けば見つかるようなエラーしか見つからんので
正直、動的型付けとくらべて優位性が無いわ

**デフォルトの名無しさん** · 2017/11/27(月) 08:00:20.85

(一般的な)静的型が本領発揮するのは運用開始後に手を入れるときだろ
依存関係が完璧に把握できるからな

**デフォルトの名無しさん** · 2017/11/27(月) 08:06:57.76

GGG言語は熱い

**デフォルトの名無しさん** · 2017/11/27(月) 08:17:35.26

MLまでいかなくてもPascalでも使ったことあれば>>837のような幼い感想は出てこないと思うので
なんだか微笑ましい

**デフォルトの名無しさん** · 2017/11/27(月) 08:59:52.64

静的型とちゃんとしたIDEならカーソル箇所のメンバを使ってる元とメンバが依存してる先が自動的に一瞬で全部表示される
grep（笑）
作りっぱなしで逃げられる開発なら型なんかいらないと思うよ

**デフォルトの名無しさん** · 2017/11/27(月) 09:00:19.33

Rustでコード書けない低脳勢の嫉妬が心地よいわ

**デフォルトの名無しさん** · 2017/11/27(月) 09:53:28.95

>>835 「遅くて実用に耐えないが明快で仕様を満たしていることが分かる関数」と
「速いけど複雑で仕様を満たしているか分からない関数」が数学的に等価であることを示せる
あるいは求められている仕様を型として表現することで、その型を返す関数は仕様通りであることを示せる

証明駆動開発は依存型じゃないとできない

**デフォルトの名無しさん** · 2017/11/27(月) 10:24:46.55

>>842
RustをHaskellで置き換えたら数スレ前によく見たやつになる

**デフォルトの名無しさん** · 2017/11/27(月) 10:27:49.38

やっぱRustもHaskellも、強烈な選民思想を産み出すという点で、
この世に存在したらいけない言語だなほんと

**デフォルトの名無しさん** · 2017/11/27(月) 10:33:41.71

他を使ったこともないやつがいきなり先進的なのを使うと
全てがそのひとつの手柄みたいに思えてしまうんだよな
C#のときもD言語のときもよく見た

**デフォルトの名無しさん** · 2017/11/27(月) 10:46:19.87

そういえばhaskellの主張してた奴消えたな

**デフォルトの名無しさん** · 2017/11/27(月) 11:17:42.08

話は聞かせてもらったぞ
静的型と動的型のうち選民思想が強い方が滅亡する

あ · 2017/11/27(月) 11:30:52.56

>>830
酒飲んでないぞ。
>>836
レンジチェックとか静的解析で割となんとでもなるでしょ。安物の解析ツール使ってるならアレだけど。

あ · 2017/11/27(月) 11:31:28.76

>>837
あれぐらい縛るなら俺は両手を上げて賛成する。

**デフォルトの名無しさん** · 2017/11/27(月) 11:58:44.95

配列の境界チェックぐらいなら気の利いた処理系ならなんとでもなるが、
そういう類のをユーザー定義できると想像するといい

**デフォルトの名無しさん** · 2017/11/27(月) 13:08:54.03

静的型づけと動的型づけのほかにも強い型づけと弱い型づけがあるぞ。
両方を合わせると４パターンあることを考えたほうがいいぞ。

**デフォルトの名無しさん** · 2017/11/27(月) 14:31:06.76

>>852
弱い動的型付けは存在しないから3パターンだぞ

**デフォルトの名無しさん** · 2017/11/27(月) 14:33:43.01

動的型付けでも、異なる型を混ぜた時に自動で変換されるのとエラーになるのがある
そういうやつのことじゃないの？
いや>>852に訊かないとわからないけど

**デフォルトの名無しさん** · 2017/11/27(月) 14:52:39.00

>>854
弱い型付けってのはキャストはエラーはかずに出来るけどメモリぶっ壊して全く違う所でエラー起きたりするCとかC++みたいな奴の事だぞ

**デフォルトの名無しさん** · 2017/11/27(月) 15:04:23.55

>>855
その定義だとreinterpret_castができるやつは全部弱型になるだろ
んで、その定義でもObjCのid型やOO風拡張付きアセンブラやForthなんかは動的弱型じゃね
まあ>>825にry

**デフォルトの名無しさん** · 2017/11/27(月) 15:06:30.80

>>856
ObjCは分からんが
unsafeブロックとかで限定的に弱い型付け許してる言語もあるけどそういうのは基本的に弱い型付けとは言わないね

**デフォルトの名無しさん** · 2017/11/27(月) 15:12:29.84

一般的にはnominalで暗黙の型変換を許さないやつがstring typeだと思うぜ

**デフォルトの名無しさん** · 2017/11/27(月) 15:13:04.01

/string/strong/ (苦笑

**デフォルトの名無しさん** · 2017/11/27(月) 15:19:26.38

情弱言語
情強言語

あ · 2017/11/27(月) 17:59:38.96

選民思想ってどういう意味なんだろう？

**デフォルトの名無しさん** · 2017/11/27(月) 20:05:56.25

>>861
神に選ばれたとか生まれながらの血筋とか、
とにかく一部の選ばれた人間のみを良しとする思想。
白人至上主義みたいになのが代表的なものだろうな。
そのぐらいググれば出ると思うけど。

あ · 2017/11/27(月) 20:15:59.53

>>862
選民思想自体の意味はわかるよ。
言語に対して選民思想がある、ってのがわからん。
知れば選民なの？って感じ。
一見さんお断り、紹介制ね、セミナー・講習・試験受けてねー(笑)
でもあるまいし、なんか知ろうとする努力を放棄して便利な言葉でごまかしてるように見えるって事。

**デフォルトの名無しさん** · 2017/11/27(月) 20:20:31.71

くっさ

**デフォルトの名無しさん** · 2017/11/27(月) 20:27:37.84

>>845のことなら強烈な自己肯定感と言い換えてもいいんじゃね
たかが2chの言葉遣いに厳密に意味を当てはめてもしょうがない

あ · 2017/11/27(月) 20:40:26.85

なるほど。自己肯定感を他者への否定で裏打ちしてるような人たち、か。
いるな。Ruby使いが全体的にそんな印象。

**デフォルトの名無しさん** · 2017/11/27(月) 21:24:06.34

おまえらみんなそんな感じじゃんw

**デフォルトの名無しさん** · 2017/11/27(月) 21:30:42.30

自分が使ってる言語以外は覚えるの面倒だから滅べっていう奴だな。
わかりやすいし、正直だとは思うが恥ずかしい言い分だということも理解しておいた方がいい。

**デフォルトの名無しさん** · 2017/11/27(月) 21:32:45.76

>>818
go はそもそもシンタックスがパースしやすいようになってるから
実装が楽だって話だろ。

**デフォルトの名無しさん** · 2017/11/27(月) 22:33:25.18

そもそもgccのgoってメンテされてないのでは？1.2くらいで止まってなかったっけ？

**デフォルトの名無しさん** · 2017/11/27(月) 22:35:11.55

>>868
言語を2つくらい学ぶとそれ以降はソンナ手間でもなくなってくけどな？
最近は学習しやすいべ。
それよりエコシステムの使い勝手が大事。
nodejsは最近やっとまともになってきた

**デフォルトの名無しさん** · 2017/11/27(月) 22:42:59.78

>>871
まあ個人的な見解になるんだが
そういう奴のいうところの「覚える」ってのは機能だったりシンタックスについて
すみずみまで覚えるってことだったりするわけよ。
なんか周りにも自分にもハードル上げちゃって原理主義に走ってしまうって感じ。

言語を覚えるっつっても人によってとらえ方はだいぶ差はあるかもね。

**デフォルトの名無しさん** · 2017/11/27(月) 23:03:54.83

頭にウンポコピーのプェチピがつまった動的池沼型なしウンコマンがまた喚いてるようだね
うるさいゴミ虫だな！つぶれちゃえ、プチッｗ

◆QZaw55cn4c · 2017/11/27(月) 23:17:01.33

>>872
＞機能だったりシンタックスについてすみずみまで覚えるってこと
最近になって、当方主力のC/C++についても、これを諦めることにしました、楽になりました…

**デフォルトの名無しさん** · 2017/11/27(月) 23:36:34.04

C++を「覚えて」いるやつなんて数えられる程度だろう

**デフォルトの名無しさん** · 2017/11/28(火) 00:19:59.65

>>872
それこそ忘れたらググればいいし、
IDE連携でfixも出来る。
機能の存在を知ってることが重要だよね。
あと大概の概念は言語間で共有してる。

**デフォルトの名無しさん** · 2017/11/28(火) 01:13:03.69

共有してるが細かい違いがストレスになったりしない？特に「ぼくのかんがえたさいきょうのOO」は辛い

**デフォルトの名無しさん** · 2017/11/28(火) 01:57:11.51

>>877
おいPHPの悪口はやめろ

**デフォルトの名無しさん** · 2017/11/28(火) 09:52:26.16

例のオライリーのrust本やっと出たようだな

**デフォルトの名無しさん** · 2017/11/28(火) 10:47:18.80

型システムの概念はC++とHaskellですら共有してる
一方、オブジェクト指向の概念は共有してないのでストレスになる

**デフォルトの名無しさん** · 2017/11/28(火) 21:52:49.31

昔はこの手のスレだと、補完が効くのは静的型だけだから動的型はダメだ！的な
無知丸出しのカキコミしてたJavaドカタを良く見たけど、
最近は流石に学習したのか、そういうの減ったね

**デフォルトの名無しさん** · 2017/11/28(火) 22:32:58.71

とはいえpythonの補完はpycharmでさえたまにしょっぱい結果になるがな

**デフォルトの名無しさん** · 2017/11/28(火) 23:57:11.98

つうか補完って個人的にはうざいからいらない。
補完ってそんな有難いかねぇ。

**デフォルトの名無しさん** · 2017/11/29(水) 00:01:06.36

>>883
ガイジかな？

**デフォルトの名無しさん** · 2017/11/29(水) 00:28:23.95

どのみちJavaScriptはクソなのは事実

**デフォルトの名無しさん** · 2017/11/29(水) 01:08:31.46

jsが糞だなんて世界の共通認識やろ

**デフォルトの名無しさん** · 2017/11/29(水) 01:32:48.31

何でやjsは最高やろ
javascriptはうんこだけど

**デフォルトの名無しさん** · 2017/11/29(水) 01:34:30.49

jsはブラウザ標準だから広まってるけど実際かなりの変態言語だよね
大分マシになってきてるけど

あ · 2017/11/29(水) 08:18:33.62

phpは、protectedとか何だかんだ大先生が要るって言うものはつけたけど、正直必要性がわからんね、みたいな事を作者が言ってるぐらいだからな。

JSはあの変態具合がじつに良い。

**デフォルトの名無しさん** · 2017/11/29(水) 10:31:45.07

>>881
ダメだろ。動的言語の言語仕様として正確な補完は不可能。
PHPとかPHPDocで追跡できるようにもできるけど、結局ドキュメント部分だから
信用できるとは限らないし

**デフォルトの名無しさん** · 2017/11/29(水) 10:35:30.46

>>889
ポリシーがない作者の言語は大体そう。
投票制で機能の実装を決めるって結局糞になる一方だと思うんだけど。
swiftも最近はそうだっけ？

**デフォルトの名無しさん** · 2017/11/29(水) 11:19:53.91

ハンバーガーとコーラとWindowsが多数派になったおかげで、少数派の自己肯定感が強い

あ · 2017/11/29(水) 12:52:13.36

>>891
作者は、ポリシーがないのがポリシーみたいな人だしな。
たまに引数の順序とか違うけど、仕方ねえじゃん。積み重ねってあるんだから。それに便利さって尺度あるじゃん？とか、
自然言語だって言語学者が整理して作ったら英語なんかと全然違う整然としたもの出来るけど、それってホントに実用になるかはわからんよね。
って開き直ってるからな。
goto実装したときのやり取りとか滅茶苦茶面白かった。

譲れない部分以外は適当に決めろよ、俺使わねえし、みたいな方向性もアリだとは思う。

あ · 2017/11/29(水) 12:55:46.19

>>890
補完が無いからダメ、を否定してるんでは？
「補完なんか無くても書ける」レベルのやつが書けばいいんだよ、っていう主張かと。
そんで、俺はそれでいいと思う。
補完が無くても大体間違いようがない、っていう使い方はあるもんだし。システムハンガリアンじゃない、本当の意味の方のハンガリアンとか。

**デフォルトの名無しさん** · 2017/11/29(水) 13:46:28.77

>>894
その読解力でよく人に訂正できるな
間違ってるのはお前だよ

あ · 2017/11/29(水) 16:23:39.89

>>895
是非説明して欲しい

**デフォルトの名無しさん** · 2017/11/29(水) 17:20:07.57

>>896
是非も糞もお前以外正しく解釈してるんだからかき混ぜんな

**デフォルトの名無しさん** · 2017/11/29(水) 17:33:20.21

最近の言語なんて全部ポリシーないじゃん。
他の言語で流行ってる機能だからうちも入れよう
みたいな話ばっか。

あ · 2017/11/29(水) 18:31:36.52

>>897
見えないすべての他人の代弁者ご苦労様。

**デフォルトの名無しさん** · 2017/11/29(水) 18:51:31.66

>>898
Go言語はポリシーあるけどね。と言うかGoogle社内で使うための言語として
進化してきたって感じ？
結局C++コードベースで作ってきたシステムがコンパイルするたびに40分とかかかるようになってきたから、Go言語でそこを改善した。
具体的には継承を使わないようにしたり
パッケージ間の依存関係を極力抑えるために敢えてDRY原則無視したり。
後プリプロセッサを削除してパッケージシステムをしっかりしたもの(未使用なパッケージをimportしたらコンパイルエラー)
にしたり。

**デフォルトの名無しさん** · 2017/11/29(水) 22:33:45.37

Goとか見るに、googleって意外と線形代数使わないのかなあ？

**デフォルトの名無しさん** · 2017/11/29(水) 22:55:35.66

tensorflowを作ってるんだぞ？使ってるに決まってるだろw

**デフォルトの名無しさん** · 2017/11/29(水) 23:01:31.92

そういうのはpython使ってんじゃないの？

**デフォルトの名無しさん** · 2017/11/29(水) 23:38:03.94

goは線形代数使わない用途向けか？
TensorFlow for goで全部やってるってわけでもなかろうし>>903の言う通りだろうか？

あ · 2017/11/30(木) 00:01:53.15

Grumpyも単純に書くと遅いしな。
速度を出したいならcとインラインアセンブラで書くだろうし、大規模に走らせるならHPC系に載せやすいfortranとかベンダのCだろうし、
気楽に書きたいならpythonで良いし、
その為に何か言語を、って手段と目的が入れ替わってる気がする。

既存の道具で目的が果たせるならそれで良い分野だろ、それ。

**デフォルトの名無しさん** · 2017/11/30(木) 00:15:23.93

Cとインラインアセンブラで書いた数学コードなんて今時見たことねえよ

**デフォルトの名無しさん** · 2017/11/30(木) 00:21:22.97

Cで数学コード書く奴いるけどあいつら凄いわ
俺なんかFortanの形状引き継ぎ配列使わない縛りでも発狂しそうになるのに、さらにサポート少ないCでよくやるわ

**デフォルトの名無しさん** · 2017/11/30(木) 00:25:37.10

いや、Cとインラインアセンブラって、もしかしてあれか。よく知らんけど、CPUベンダーが実装してるような何かか

**デフォルトの名無しさん** · 2017/11/30(木) 00:25:51.08

>>907
ゲーム目的とかならCでやるんじゃないの。
と言っても今は優秀なゲームエンジンが無料の時代だから意味ないかもだけど。

**デフォルトの名無しさん** · 2017/11/30(木) 00:27:36.54

Numerical Recipes in C にはお世話になりました

**デフォルトの名無しさん** · 2017/11/30(木) 00:30:03.93

>>909
しれっとC++にしてEigenかublasかなんか混ぜたりしない？そうでもない？
あれCで書いてる奴本当に凄いと思うわ

**デフォルトの名無しさん** · 2017/11/30(木) 00:48:55.61

いいニンクの日は過ごせましたか

**デフォルトの名無しさん** · 2017/11/30(木) 02:40:07.39

アドベントカレンダー見てたら地味にelmユーザ増えてる？
reduxきっかけで流れてきたユーザー居るのかね

**デフォルトの名無しさん** · 2017/11/30(木) 02:43:19.27

>>911
すげーかもしれんがそういう低レベルのコードを書くプログラマーっていま日本にどれだけいるんだろうな。もはや大手ゲームベンダーも他社のゲームエンジンに頼る時代だし

**デフォルトの名無しさん** · 2017/11/30(木) 04:01:07.03

みんなC言語が分ってるのが当たり前だと思ってたけど、
最近はC言語は知らないのが前提らしい
低レベルプログラミングという本が殆どC言語の解説書なのは驚いた。

**デフォルトの名無しさん** · 2017/11/30(木) 06:58:09.24

elmのアドベントカレンダー
２つめ全然埋まらなくてブチ凹む

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

Cについて知っててもらわんと色々説明しづらい部分があると思うんだが
大丈夫なんかね。

あ · 2017/11/30(木) 08:34:13.82

>>909
流体のシミュレーション書いたことある。
多分同業は同じように内製してるか、か今は外注するかしてるけど、ガチの方のシミュレーションでは結構使う。

**デフォルトの名無しさん** · 2017/11/30(木) 09:05:16.03

>>916
ここで宣伝してよ。elmのメリット何？
使ってて気持ちいい？開発環境って使いやすい？

**デフォルトの名無しさん** · 2017/11/30(木) 09:09:00.14

>>914
あんなもんCで書いてて嫌にならないのは怠惰さの足りない奴でしょ
そういうのをやらされる/やる人が減るのは健全なことだと思う

あ · 2017/11/30(木) 11:03:50.95

新しい言語を作ってそしてメンテしていくほうが面倒だと知ってるからな。
トランスパイラに近い闇マクロがCにはあるので、その辺で逃げるが勝ちの部分もある。

**デフォルトの名無しさん** · 2017/11/30(木) 11:23:43.51

>>921
C11ってジェネリクスがあるの？
正直プリプロセッサで頑張れば何でもありな気もする。
ライナスがあんだけCだけ大好きっ子なのは何かあるんだろうね。