次世代言語12 Go Rust Swift Kotlin TypeScript

**デフォルトの名無しさん** · 2018/07/04(水) 09:38:15.76

スレタイ以外の言語もok

前スレ
次世代言語11[Rust Swift TypeScript Dart]
https://mevius.5ch.net/test/read.cgi/tech/1528037607/

**デフォルトの名無しさん** · 2018/07/08(日) 12:02:19.40

https://ja.wikipedia.org/wiki/F*_%28%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E%29

ガチの次世代言語やぞ
ググラビリティ最低のクソ虫だが

**デフォルトの名無しさん** · 2018/07/08(日) 12:39:57.58

古くさ

**デフォルトの名無しさん** · 2018/07/08(日) 13:08:33.64

>>69
どこが古臭いんだ？
これもATS2とかIdrisとかと同じで依存型がある証明系の言語だろ？
ガチガチの最新言語じゃん

**デフォルトの名無しさん** · 2018/07/08(日) 13:14:10.06

多分compassとかの勉強会で発表できるようなカッケーのしか認めない層がいるんだろ。
そういう連中は相手にしてもなんの意味もないよ。

**デフォルトの名無しさん** · 2018/07/08(日) 13:50:52.78

F* でできる程度の依存型なんて70年代の話題じゃん

**デフォルトの名無しさん** · 2018/07/08(日) 13:58:58.94

70年代にできてることが未だにできない糞言語があると聞いて

**デフォルトの名無しさん** · 2018/07/08(日) 14:19:26.14

お願いだから全機で超高速で動く言語VMつくって
ちょっとくらい難しくてもいいからお願いします

**デフォルトの名無しさん** · 2018/07/08(日) 14:25:02.81

>>72
70年代かどうかは知らんが依存型関連の理論自体は昔からあることは知ってる
F*はつい最近知ったので詳しくないから他の言語の依存型とどう違うかは知らないが、
これが最新じゃなかったら君にとっての最新の言語はなんなの？
具体的に「どこがどう違うから新しい」ってとこまで含めて教えて

**デフォルトの名無しさん** · 2018/07/08(日) 14:43:15.55

>>74
ん？　今何でもするって言ったよね？

**デフォルトの名無しさん** · 2018/07/08(日) 15:43:31.75

>>76
言ってないよー
こんなとこに沸かないで！

**デフォルトの名無しさん** · 2018/07/08(日) 18:27:49.42

Jカス死ね(条件反射)

**デフォルトの名無しさん** · 2018/07/08(日) 18:30:37.28

あっ・・・フーン（察し）

**デフォルトの名無しさん** · 2018/07/08(日) 19:47:45.35

Jを憎みし者共

75 · 2018/07/08(日) 21:11:56.23

こういう風に聞くと大抵は黙るのなんなの？
こっちは純粋な興味で聞いてるのに

**デフォルトの名無しさん** · 2018/07/08(日) 21:48:46.34

とうふさんはすこか？��‍♀

**デフォルトの名無しさん** · 2018/07/08(日) 22:06:17.36

75に悪意があるとは思わないけれども
煽りとも取られかねない質問文で、後から「純粋な興味で聞いてるのに」ってのは
下手な物の尋ね方のテンプレにしてもいいのではってぐらいよく見る気がする

**デフォルトの名無しさん** · 2018/07/08(日) 22:07:26.20

煽ってから純粋な質問と言いなおす。記憶回路にバグがあるのだろう

**デフォルトの名無しさん** · 2018/07/08(日) 22:15:40.47

君たち、私のチンポをしゃぶってみないかね

**デフォルトの名無しさん** · 2018/07/08(日) 22:17:51.75

技術板なんだから重要なのは内容

**デフォルトの名無しさん** · 2018/07/08(日) 22:49:41.47

内容が大事だと思っているなら煽らずに本当に純粋に聞けば良い。煽っておいて「大事なのは内容」などと言うのはダブルスタンダード

**デフォルトの名無しさん** · 2018/07/08(日) 22:57:24.92

>>87
勘違いしてるようだけど俺は75じゃないぞ

**デフォルトの名無しさん** · 2018/07/08(日) 23:00:38.58

>>88
何！？勘違いさせおって。許せん

**デフォルトの名無しさん** · 2018/07/08(日) 23:08:01.07

おまいらなんでこんな事には食いつきがいいんだよ
こっちは純粋な好意で気を遣って書いたつもりなのに

**デフォルトの名無しさん** · 2018/07/08(日) 23:08:42.63

純粋ガイジ

**デフォルトの名無しさん** · 2018/07/08(日) 23:10:36.63

こんなことにはっていうけど、逆に何に食いつきが悪いと思ってるわけ？

**デフォルトの名無しさん** · 2018/07/08(日) 23:10:58.63

実際>>69>>72にとって古くさくない言語って何だったんだろうな

**デフォルトの名無しさん** · 2018/07/09(月) 00:07:30.03

純粋に言ってればなんでも答えてもらえると思うなよ。

**デフォルトの名無しさん** · 2018/07/09(月) 00:15:55.56

純粋に考えて、未だに型無し糞言語を崇めてる連中って馬鹿だと思うんだけどどう思う？

**デフォルトの名無しさん** · 2018/07/09(月) 00:18:50.10

馬鹿だよ

**デフォルトの名無しさん** · 2018/07/09(月) 01:31:19.58

>>95
Smalltalkバカにしてんの？

**デフォルトの名無しさん** · 2018/07/09(月) 08:07:15.29

>>97
バカにされているのはSmalltalkerだろ？
Smalktalkそれ自体には罪はないよ

**デフォルトの名無しさん** · 2018/07/09(月) 08:22:18.46

rubyistとrubyの関係みたいなもんか

**デフォルトの名無しさん** · 2018/07/09(月) 09:10:36.88

動的静的問わず型が弱くて扱い切れる人間は殆ど居ないからなぁ
話題の依存型も個人的には好きなんだけど対極的だし汎用プログラミングだと扱い切れなそう

**デフォルトの名無しさん** · 2018/07/09(月) 11:15:38.26

rubyにはなんであんなクズみたいなのばかり集まっちゃったんだろうな。ruby自信に詰みはないというのに

**デフォルトの名無しさん** · 2018/07/09(月) 11:25:12.75

当時のRailsの流行は頭の悪い人達のコンプレックスに支えられていたからだよ
英語わからない難しい要件わからない複雑なコーディングできない、でも俺はペチパーとは違う、という層に夢を見せた

**デフォルトの名無しさん** · 2018/07/09(月) 11:44:42.26

依存型がある言語はML族もしくはF#の軽量構文みたいなのが多いのはなんでなの？
C系のシンタックスだと何か不都合でもあるの？

**デフォルトの名無しさん** · 2018/07/09(月) 11:48:21.62

わざわざC系のシンタックスにする意味ある？

**デフォルトの名無しさん** · 2018/07/09(月) 11:52:20.80

>>103
後の引数のpredicateが前の引数を参照するためにはカリー化されてると都合がいい

**デフォルトの名無しさん** · 2018/07/09(月) 12:46:40.19

>>104
C系の方が慣れてる人が多いでしょ？それだけである程度意味があると思うけど

>>105
正直何言ってるかよくわからないんだけど、依存型とカリー化って別に関係ないんじゃないの？
だって、依存型のあるATS2では関数宣言↓だけは何故かC(Golangっぽい？)シンタックスだよ
fn test(x: double, y: double): double
だから、ATS2はML族なのにカリー化しづらいよ

**デフォルトの名無しさん** · 2018/07/09(月) 13:29:20.22

>>106
型について研究してる畑の人ではML系の方が多数派だからね
それは論理学数学から醸成されたのがML系だからってのもあるし、型についても扱いやすいシンタックスが既にあるML系とわざわざ型を扱うシンタックスを設計しなければいけないC系ベースどっちをまず採用するかってなったんじゃない？
知らんけど

**デフォルトの名無しさん** · 2018/07/09(月) 13:40:36.06

>>103
> 依存型がある言語はML族もしくはF#の軽量構文みたいなのが多いのはなんでなの？
> C系のシンタックスだと何か不都合でもあるの？

依存型や本来の多相型(polymorphism)［†］などは型理論の体系つまり高階の型付λ計算に関する論理体系に基づくので
プログラミング言語の型システムとして組み込む場合には同じくλ計算に基づくと関数プログラミング言語の枠組みとは親和性が良いが
Cなどのように変数の値を書き換える代入文や代入演算を有する命令的プログラミング言語とは馴染まない。［‡］

だからそれらの型システムを導入した言語は既存の関数プログラミング言語の構文を流用するケースが多いのだろう。
なおStandard ML/CAML/OCaml/F#などeager evaluationを評価ルールとするいわゆるML系の関数プログラミング言語の一群は
ref型のように代入可能な変数を許すが、本格的な型理論に基づく型システムを組み込む場合はref型の類は除いたsublanguageに対して
行うのが普通。

［†］：本来の多相型とはGirardが竹内の基本予想に関する学位論文で最初に発見（あるいは発明）し
Reynoldsが独立に再発見した型の全称化・抽象化やMilnerが発見したlet-polymorphismなどを指す。
オブジェクト指向での継承に伴って使われるようになった“polymorphism”は
定義が不明確で勝手な拡大解釈が多いので「本来の」という修飾句の対象範囲からは除く。

［‡］：代入操作（代入文と代入演算の総称）を含む命令的プログラミング言語
（Ｃなどの手続き的プログラミング言語やオブジェクト指向プログラミング言語を纏めてこう呼ぶ）に
例えば多相型が馴染まない理由は代入操作可能な変数の型として多相型を許すことは
その変数について動的な型付けを許すことに他ならなくなる。

例で少し説明するが既知なら許してくれ。最も基本的な多相型 ∀t.t （どんな型でもＯＫ）と宣言された変数 x を考える、つまり
　　∀t.t　x;
この変数はどんな型の変数としても使えるので、これにint型の値 1 は代入できる、
　　x = 1;
この後で式の中でこの変数の値を参照すると int型の値 1 が許される文脈以外ではエラーになる。

即ち、型理論における本来の多相型つまり静的な型付けでの多相型の概念は代入可能な変数では失われるということだ。

**デフォルトの名無しさん** · 2018/07/09(月) 15:02:11.35

Cは関数()をカリー化しなかったが配列[]をカリー化した
2次元配列を1次元のように扱い、逆にスカラー (0次元) を1次元のように扱う

Cには共用体もあるからML系に似ている部分は多かった

**デフォルトの名無しさん** · 2018/07/09(月) 16:22:10.83

オリジナルのC/C++はもう実質的に依存型と同じものを既に使いこなしてるな
依存型がまだないという自称C系ってのは本当はJava系と名乗るべきだな

**デフォルトの名無しさん** · 2018/07/09(月) 16:59:58.68

>>106
こいつCのシンタックスじゃないって理由でPython嫌ってそうｗ

**デフォルトの名無しさん** · 2018/07/09(月) 17:03:28.03

>>106
カリー化されてると全部1引数の fun a -> aを使う(かもしれない)型の形で済むだろ
ATS2がどうしてるかは知らん

**デフォルトの名無しさん** · 2018/07/09(月) 18:16:53.67

別にC以外のシンタックスを嫌ってる訳じゃないよ(てか、なんでそういう風に受けとる…？)
普及を考えれば新規ユーザーのハードルを下げるためにも少しくらい相性が悪かろうが
C系のシンタックスを採用した方が良いんじゃない？って思っただけ

どれだけ理論が優れていようが結局のところ広く普及した言語の大半
(C/C++, Java, C#, JavaScript, PHP...etc.)はC系のシンタックス
勿論C系以外で普及した言語もある(Python, Ruby...etc.)けど…数はそれほど多くない
Cのシンタックスを採用することに致命的な不都合があれば話は別だけど
そうでなければ1つくらい依存型ありの言語でC系の言語があったって良いんじゃない？

優れた理論が使われてる言語がそんなしようもない理由で普及しなかったら勿体ないじゃん
普及させるためにはそういう些細な部分は妥協したらどうだ？と思ったわけ

**デフォルトの名無しさん** · 2018/07/09(月) 18:21:37.55

ALGOL舐めてるわけ?

**デフォルトの名無しさん** · 2018/07/09(月) 18:22:24.25

COBOL舐めてるわけ？
Fortran舐めてるわけ？

**デフォルトの名無しさん** · 2018/07/09(月) 18:40:59.88

>>109
> Cは関数()をカリー化しなかったが配列[]をカリー化した

配列をカリー化の意味が分からんのだが

**デフォルトの名無しさん** · 2018/07/09(月) 18:41:02.84

まともな推論を入れようとしたら>>108みたいな理由で式ベースになるんだから
C系に似せようとしたところで不格好で無駄に記述量も多いキメラができるだけだろ

ところでBASIC舐めてるわけ？

**デフォルトの名無しさん** · 2018/07/09(月) 20:41:12.79

>>116
C系は分かりにくいという証拠だ

**デフォルトの名無しさん** · 2018/07/09(月) 20:54:48.10

>>114
> ALGOL舐めてるわけ?

AlgolとくにAlgol 60は実用性はともかく言語設計の観点からは非常に優れた言語だったが、命令的言語であるがゆえに型理論には馴染まない部分がある
今回の君のような内容ゼロの一言レスしてる暇があったら、ReynoldsやTennentの教科書・論文ぐらいは読んで勉強したらどうよ

**デフォルトの名無しさん** · 2018/07/09(月) 21:22:54.54

>>117
そうか？式指向でC系のシンタックスっていったら真っ先にRustが頭に浮かんだが
別に不格好とも無駄に記述量が多いとも感じないが…
そもそもC系の時点で何指向だろうが関数型と比べると記述量は少し多くなるものだし…
C系を式指向にしたところでそんなに変になるところは無いと思うんだが

別に全部C系にしろって言ってる訳じゃないんだ
依存型ありの言語にも1, 2個くらいC系があっても良いのにっ思ってるだけで…

**デフォルトの名無しさん** · 2018/07/09(月) 21:40:53.57

現実は正しい
格付けの方が間違ってるんじゃねえか
リーマンショックみたいに

**デフォルトの名無しさん** · 2018/07/09(月) 21:46:37.16

あってもいいということはなくてもおかしくないという事だよ
言語設計者が依存型を普及させたいにしてもC系シンタックスを蛇蝎の如く嫌っている可能性だってある訳だ

そうでない君が依存型+C系シンタックスが普及に必要だと思うならそれは正しく良い意味で言い出しっぺの法則だね

**デフォルトの名無しさん** · 2018/07/09(月) 21:56:18.25

>>120
rustは根っこのところは手続き型だからな
もっと式ベースを徹底していったらC系文法なんてどんどん余計なものになってくよ

**デフォルトの名無しさん** · 2018/07/09(月) 22:16:18.81

式指向にしてブロックが値を返す
ブロックの中でreturnなどと書いたらブロックだけではなくメソッド全体が終了する

これSmalltalkとRubyでやったやつだ

**デフォルトの名無しさん** · 2018/07/10(火) 02:09:51.97

>>124
＞ブロックの中でreturnなどと書いたらブロックだけではなくメソッド全体が終了する

他のほぼ全ての言語もそうじゃね？

**デフォルトの名無しさん** · 2018/07/10(火) 06:52:59.20

やっとラムダが当たり前になったところだぞ
型理論の成果がプロダクト利用に広まるには時間がかかるんだよ

**デフォルトの名無しさん** · 2018/07/10(火) 08:08:34.60

なんでJavaだけバージョンアップしなきゃだのセキュリティアップデートがどうの、大騒ぎしてんの？
JavaScriptなんて毎日のように新しいsyntaxぶち込まれてるし、
Kotlinがここまでアプデに振り回されてるのはあまり聞いたことない気がする

他でここまでセキュホがギャースカ言われてるのって、ポンコツペチプァとWordPressくらいじゃね？
Javaってそんな糞脆いの？

**デフォルトの名無しさん** · 2018/07/10(火) 08:21:31.28

>>108
詳しい人から見てF*ってどうなん？良さそう？

**デフォルトの名無しさん** · 2018/07/10(火) 08:36:07.00

Fuck

**デフォルトの名無しさん** · 2018/07/10(火) 09:24:02.51

BrainF*ck
略してF*

**デフォルトの名無しさん** · 2018/07/10(火) 09:24:32.49

>>127
エンプラで使われまくってるからわずかな変更にも大騒ぎするというだけ
履歴書がフォーマット通りじゃないとか、書類に印鑑がないとか、工場作業員の歩く幅が守られてないとか、そういうので騒ぐと同じ

**デフォルトの名無しさん** · 2018/07/10(火) 10:15:33.87

javaというのは汲み取り式の便所みたいなもので、それに下水と近代的な便座を取り付けたのがkotlinだが、結局大便か小便かあるいはその両方をひり出す装置だということに気づかず、エレガントなクソの仕方について議論しているのが奴らだからな
いきなり外に出ろと言われても、オラクルにオツムを履かせてもらわないと不安で仕方ないんだよ

**デフォルトの名無しさん** · 2018/07/10(火) 11:53:00.58

オツムを履かせるとかいう新表現

**デフォルトの名無しさん** · 2018/07/10(火) 12:01:54.29

それだ！それが次世代言語だ！

**デフォルトの名無しさん** · 2018/07/10(火) 12:37:24.33

意味が通ってて草

**デフォルトの名無しさん** · 2018/07/10(火) 15:09:37.59

クソ。。

**デフォルトの名無しさん** · 2018/07/10(火) 22:39:39.50

omutu {
　ブリッ()
} catch(unko) {
　throw unko
}

**デフォルトの名無しさん** · 2018/07/10(火) 22:41:56.44

>>133
人の頭をオムツ代わりにするとは、家畜人ヤプー的な変態だろう

**デフォルトの名無しさん** · 2018/07/11(水) 04:26:30.97

まーた例外とnullの話してらあ

**デフォルトの名無しさん** · 2018/07/11(水) 08:37:33.70

語るに足る次世代言語がrustしかないんだもの

**デフォルトの名無しさん** · 2018/07/11(水) 08:40:25.65

そのRustを語るとコンパイル通せないアンチが沸くしな

**デフォルトの名無しさん** · 2018/07/11(水) 13:10:48.44

GC以前の時代に戻る「次世代」言語ね
わらえる

**デフォルトの名無しさん** · 2018/07/11(水) 13:22:55.58

GO言語は車輪の再発明ってやつじゃないですか?

**デフォルトの名無しさん** · 2018/07/11(水) 13:39:57.82

GCが在るか無いかが判断基準なのね
わらえる

**デフォルトの名無しさん** · 2018/07/11(水) 15:08:11.76

GCがあるのが良い言語！GCが無いのは古い言語！

**デフォルトの名無しさん** · 2018/07/11(水) 15:56:04.73

メモリ制御しなきゃいけない世界が無くなることはよしんばあっても当分先なのでメモリ制御できる言語の更新はあった方が皆幸せになると思うんだけどな

**デフォルトの名無しさん** · 2018/07/11(水) 20:07:05.04

>>143
機能の整理って感じかなぁ。

**デフォルトの名無しさん** · 2018/07/11(水) 20:48:11.63

車輪に怒られるだろ
せいぜい定年後の手作りログハウスだな

**デフォルトの名無しさん** · 2018/07/11(水) 21:20:11.21

GCはメモリには効くけどリソースの速やかな解放には効かないから
using文とかtry-with-resources文とか必要になってくる

SwiftやRustとかはメモリはGCほどお手軽では無いけど
リソースがメモリ管理と同じ流れに乗るからカメラとかのAPI扱うときはむしろ楽になる

一長一短なところはある

**デフォルトの名無しさん** · 2018/07/11(水) 21:33:18.06

実際問題ログハウスで十分なところを最近の言語はウインチェスターハウスにしちゃってる感じ。

**デフォルトの名無しさん** · 2018/07/11(水) 21:57:59.72

ログハウスはお手軽という意味で例に出したんじゃないんですけど

**デフォルトの名無しさん** · 2018/07/11(水) 22:05:01.91

ログハウスで充分な仕事しかしてないのにウィンチェスターハウス作れる言語に目が向いてこんなスレに迷い込んでしまったの間違いでは

**デフォルトの名無しさん** · 2018/07/11(水) 22:08:04.55

ほんまに計算科学の次世代言語欲しいわ
Fortranさん仕様は悪く無いのにprint文書くだけで周りの計算結果変わったりしてコンパイラがガバガバすぎる

◆QZaw55cn4c · 2018/07/11(水) 22:16:20.84

>>153
それはバグっているだけだと思いますが

**デフォルトの名無しさん** · 2018/07/11(水) 22:22:20.98

>>154
すぐバグるんだよな
gfortranで通ったし大丈夫だろって思ってたらifortでは通らなかったり、C++よりはるかにプログラマの責任が重いと思うわ

**デフォルトの名無しさん** · 2018/07/12(木) 08:59:38.99

fortranは仕様より処理系依存の独自拡張が蔓延ってるイメージ
haskellも処理系拡張が基本みたいな所あるしそういうの好きになれない

**デフォルトの名無しさん** · 2018/07/12(木) 09:20:58.29

処理系が実質ひとつしかない言語だと処理系拡張が基本でも困らないけどね

**デフォルトの名無しさん** · 2018/07/16(月) 12:21:20.76

次にはやる言語はどれ？

**デフォルトの名無しさん** · 2018/07/16(月) 12:28:43.44

　　　　　＿＿＿_
　　　　／⌒　　⌒＼
　　　／（ ●）　（●）＼
　／::::::⌒（__人__）⌒::::: ＼　　次世代言語でやるお！
　 |　　　　　|r┬-|　　　　　|
　＼　　　 `ー'´ 　　／

**デフォルトの名無しさん** · 2018/07/16(月) 13:21:42.19

MSも使ってるRustに決まってるだろ
ttp://jump.5ch.net/?https://www.reddit.com/r/rust/comments/8ub964/microsoft_announces_using_rust_to_build_some_of

**デフォルトの名無しさん** · 2018/07/16(月) 14:19:28.91

Rustはよい言語だ

**デフォルトの名無しさん** · 2018/07/16(月) 17:26:19.10

rustはダメだな。
信者のウザさがhaskellと一緒だわ。
ああいう1機能を理解するのがめちゃくちゃ嬉しくなっちゃうような言語はダメだわ。

**デフォルトの名無しさん** · 2018/07/16(月) 17:28:11.41

信者のウザさとか言う概念なんなん？何を見て判断してんの？

**デフォルトの名無しさん** · 2018/07/16(月) 17:38:21.47

リアルの知り合いじゃね
Rust信者には会ったことないが、Haskell信者のウザさは割とガチだな

**デフォルトの名無しさん** · 2018/07/16(月) 17:45:32.85

rustお手軽に勉強する方法知りたい。

**デフォルトの名無しさん** · 2018/07/16(月) 17:46:58.94

>>164
逆に言うとウザい知り合いが使ってる言語はダメってことか……
生き辛そうな人だな

**デフォルトの名無しさん** · 2018/07/16(月) 19:11:15.57

> 信者のウザさ
自分では到底習得出来ない言語を
楽しげに使いこなしてる事に対する嫉妬でしょ？

**デフォルトの名無しさん** · 2018/07/16(月) 19:16:33.22

なんで所有権の移動という一度しか起こらない元値を破壊するものが印なしで
参照の借用渡しが＆にしたんだろう