次世代言語22 Go Nim Rust Swift Kotlin TypeScript

**デフォルトの名無しさん** · 2021/08/22(日) 08:59:03.31

スレタイ以外の言語もok

前スレ
次世代言語21 Go Nim Rust Swift Kotlin TypeScript
https://mevius.5ch.net/test/read.cgi/tech/1587276362/

**デフォルトの名無しさん** · 2021/10/18(月) 05:42:04.96

>>235
GoogleとMicrosoftが嘘を言ってると主張？？
その記事にあるようにAndroidやMS製品に存在した深刻なセキュリティー脆弱性の70％近くがメモリー安全に関するバグに起因するとGoogleとMicrosoftがそれぞれ同じ主張をしている

>>236
C++わかるなら話が早い
ご存知のようにC++のスマートポインタは使い方を間違えてもコンパイラは通してしまい気付くチャンスがない
つまりC++は人間によるチェックに依存しているためコードが複雑化するとどこかでメモリ安全性を壊すバグが生じてきた
Rustはその言語仕様からメモリ安全性を壊すコードをコンパイラが認識してコンパイルを通さない
そのためコンパイルが通ったコードはメモリ安全性が保証される初のプログラミング言語となった
そこでIT大手各社がRustを採用支持>>53するというプログラミング言語の歴史でも初の事態となった

**デフォルトの名無しさん** · 2021/10/18(月) 09:29:18.21

>>208
GoやってからRustやれば良い
間違ってもJSから入ってはいけない

**デフォルトの名無しさん** · 2021/10/18(月) 10:40:12.86

静的チェック万能論者は信用できんわな。
それで減るものも多いが、あいつらは嘘を信じ始めている。

**デフォルトの名無しさん** · 2021/10/18(月) 11:26:29.68

これ四色定理でやったやつだ
証明が嘘ではないことと証明の可読性を両立するのをやめた

証明が万能だと信じるなら両立をあきらめられない
万能ではないと判断すれば可読性は捨てられる

**デフォルトの名無しさん** · 2021/10/18(月) 12:55:52.50

>>236
公式ドキュメントには確かにメモリ安全性をちゃんと定義した箇所って無いね
近いのはあるけど……
https://doc.rust-lang.org/nomicon/meet-safe-and-unsafe.html

> If all you do is write Safe Rust, you will never have to worry about type-safety or memory-safety. You will never endure a dangling pointer, a use-after-free, or any other kind of Undefined Behavior.

**デフォルトの名無しさん** · 2021/10/18(月) 13:49:45.64

ダングリングポインタを作らない、に尽きるんじゃないの

**デフォルトの名無しさん** · 2021/10/18(月) 14:15:47.57

変数の寿命が有限になった原因は2種類ある
スタックとヒープ
一部の言語ではヒープの定義をライブラリに丸投げするから言語仕様で定義しない
あとはスタックを定義するだけ

**デフォルトの名無しさん** · 2021/10/18(月) 15:25:39.78

237のような気持ち悪い信仰がとてつもなくrustの普及を阻んでいる。

**デフォルトの名無しさん** · 2021/10/18(月) 15:42:51.62

メモリ破壊やリークが絶対存在しないプログラムでも
データ次第ではいくらでも飛ばせる

**デフォルトの名無しさん** · 2021/10/18(月) 16:41:38.35

なんかずれていってんな。
誰も万能とか言ってないのに、あくまでも他言語と比較しての話なのに。

**デフォルトの名無しさん** · 2021/10/18(月) 17:24:02.54

rustはgc使わずにメモリ解放できるから速くて安全ということなのだと思ってたけど、そういう単純な話でもないのかな

**デフォルトの名無しさん** · 2021/10/18(月) 17:55:52.34

奴隷はrust使ってくれた方が助かる

**デフォルトの名無しさん** · 2021/10/18(月) 18:18:29.34

優秀な人からRustへ流れてるよな
C++が言語として完全敗北してしまったところが興味深い

**デフォルトの名無しさん** · 2021/10/18(月) 18:26:09.16

Rustのセールストークなどに惑わされず
Rustがやろうとしたことを冷静に理解しきってるのがC++erという
C++を知らなかったりニワカ知識だったりする人が騒いだり対立を煽って楽しんでる

**デフォルトの名無しさん** · 2021/10/18(月) 19:13:39.89

>>250
C++とRust両方のプログラミングができるならば
C++の欠陥であるポインタ使用ミスがあってもコンパイルが通りメモリ問題を引き起こしてきた件をRustが解決したと理解できるはずだが

**デフォルトの名無しさん** · 2021/10/18(月) 19:54:57.93

いたずらに否定したりせず
慈しみ、見守ってるってこと

**デフォルトの名無しさん** · 2021/10/18(月) 20:29:15.76

トークがどれだけうまくなっても人の話を聞かない相手には効果がないよな
聞き方や読み方のレベルを上げた方が早い

**デフォルトの名無しさん** · 2021/10/18(月) 20:40:39.51

C/C++理解してれば
Rustは不要ですよ

**デフォルトの名無しさん** · 2021/10/18(月) 20:44:49.04

むしろrustで問題解決とか言ってるやつのc++コードがどれだけひどいのか観て見たくなってきたわw

**デフォルトの名無しさん** · 2021/10/18(月) 21:28:21.41

事実が見えるまで粘るより仮定した方が早い

**デフォルトの名無しさん** · 2021/10/18(月) 21:57:02.11

もしC++がRustに勝る点が一つでも残っていれば
C++しか書けない人がこれほど発狂することなかったろうに

**デフォルトの名無しさん** · 2021/10/18(月) 23:49:18.78

超次世代言語Dart

**デフォルトの名無しさん** · 2021/10/19(火) 01:27:04.57

C/C++で完璧なコードかけるならどこいっても歓迎されると思うよ
それが誰もできないんだからrustに流れてるってことでしょ

**デフォルトの名無しさん** · 2021/10/19(火) 03:17:45.56

>>259
いや完璧なコードを書けるというのが勘違いであり凄いプログラマーでも間違いを起こすことがある
だからこそ人間頼みではなくコンパイラがチェックした方が良いと誰もが辿り着いた

**デフォルトの名無しさん** · 2021/10/19(火) 05:43:42.06

>>255
俺も。
メモリーの確保解放ですべて解決みたいな主張してるから余計に不思議。

**デフォルトの名無しさん** · 2021/10/19(火) 07:01:04.92

俺はここの耄碌よりGAFAMを信じますけどね

**デフォルトの名無しさん** · 2021/10/19(火) 07:40:41.53

自分で考えろ低能

**デフォルトの名無しさん** · 2021/10/19(火) 07:49:05.09

GAFAM？
FAANGじゃなくて？
Mって何？

**デフォルトの名無しさん** · 2021/10/19(火) 08:22:28.00

自分で考えている時には命令文や疑問文を使う必要がない
否定文なら使ってもいいけど

**デフォルトの名無しさん** · 2021/10/19(火) 08:25:01.48

>>264
Google
Apple
Facebook
Amazon
Microsoft

**デフォルトの名無しさん** · 2021/10/19(火) 08:47:54.47

GoがC/C++/Rustに比べて若干遅くなる要因ってGC以外なにがあるの？

**デフォルトの名無しさん** · 2021/10/19(火) 08:56:27.98

二番目はAppleと言われてるけどどう考えてもAmazon
ケツから将来性の無い順番で消える、つまりGAFAMのMが消えてGAFAになったので
次のAppleが消えてGAFになる

**デフォルトの名無しさん** · 2021/10/19(火) 09:55:30.99

GAFAMって言葉が生まれたのはGAFAより後では？
MSをハブったらかわいそうってことで生まれたような
将来性が一番微妙だからハブられてたんかもしれんけども

**デフォルトの名無しさん** · 2021/10/19(火) 10:09:08.48

まあFacebookよりは明らかに上やから入って当然ではある

**デフォルトの名無しさん** · 2021/10/19(火) 13:41:00.66

国産検索エンジンはなぜつぶされるのか

**デフォルトの名無しさん** · 2021/10/19(火) 19:00:05.85

Crystal入れてちょんまげ

**デフォルトの名無しさん** · 2021/10/19(火) 19:37:36.30

crystalはrubyライクという以外あまり特徴がないよな。次世代言語としてどこで存在感出せばいいのか

**デフォルトの名無しさん** · 2021/10/19(火) 20:15:37.83

>>254
一人で作業するなら好きな言語使えば？

**デフォルトの名無しさん** · 2021/10/20(水) 09:10:49.09

>>261
++

**デフォルトの名無しさん** · 2021/10/20(水) 16:10:03.72

Nim version 1.6 is now officially released!

**デフォルトの名無しさん** · 2021/10/21(木) 09:29:50.15

Nimくん自分とこのスレに書き込まれずにこっちにばかり話題が来るのちょっとかわいそうになってきた

**デフォルトの名無しさん** · 2021/10/23(土) 00:34:45.65

>>273
Crystalの開発は、Rubyの特徴である優雅さと生産性の高さ、コンパイラ言語の特徴である実行速度の速さと
効率の良さと型安全を目的として、2011年6月に開始された。バックエンドにLLVMを利用することによって
効率的な機械語を生成することができる。
他のコンパイラ言語と比較して、高度な型推論とユニオン型の組み合わせによって、高水準スクリプト言語の
ような簡潔な記述を実現している。
Goに影響されたファイバー間の通信を行うための軽量なチャネルとファイバーが実装されている

**デフォルトの名無しさん** · 2021/10/23(土) 01:42:06.05

俺が思うに
このスレに登場する言語は次世代言語なんかでは無く
狂信者がいる言語にしか見えない
次世代言語の話してるのに「C++」という単語の出現頻度の高さがそれを物語ってる

旧来の狂信者がいる言語と新しい狂信者がいる言語の
宗教戦争の場がこのスレだと感じた

**デフォルトの名無しさん** · 2021/10/23(土) 08:56:00.74

気がつくのが遅いよ、きみ!

**デフォルトの名無しさん** · 2021/10/23(土) 10:07:43.64

>>279
ちょっと前まではC++が最速最強言語だったからでしょう
ただし唯一の欠点がメモリ安全でないコードも生じ得て現実にセキュリティ脆弱性なども招いていること
そこで次世代言語としてC/C++と同じく最速でありつつメモリ安全性を保証する真の最速最強言語Rustが登場したことから旧世代のC++が比較対象として話に出るのでしょう

**デフォルトの名無しさん** · 2021/10/23(土) 11:45:11.96

むしろアニメの登場人物全員JKにするみたいな奴が狂信者
爺婆はいても信者はいない

**デフォルトの名無しさん** · 2021/10/23(土) 12:14:12.92

c++の唯一の欠点とかw

**デフォルトの名無しさん** · 2021/10/23(土) 13:05:15.91

賛成とか反対とか言えなくてへらへら笑ってるのも悪いんだよ

**デフォルトの名無しさん** · 2021/10/23(土) 15:14:01.04

>>281
結局最速にするにはunsafeするやん。そういう誤魔化しをあえて語らんところが信用を失うんだよ。

**デフォルトの名無しさん** · 2021/10/23(土) 17:40:45.89

rusterの気持ち悪いのが一番嫌い、お前が自分とこの発音で盛り上がるスレに書いてろ

**デフォルトの名無しさん** · 2021/10/23(土) 17:46:02.31

最初から全部unsafeで書けばいいのに

**デフォルトの名無しさん** · 2021/10/23(土) 18:07:07.88

>>285
意味不明
比較ベンチマークのRustプログラム等を見ても普通のアプリのRustソースを見てもunsafeは出てこない

**デフォルトの名無しさん** · 2021/10/23(土) 18:10:31.38

RustってC++のmoveが楽になった言語の認識だったけど
ここ読むと捉え方ちがうような気がしてきた

**デフォルトの名無しさん** · 2021/10/23(土) 18:12:33.07

>>288
競プロでもしてんじゃね

**デフォルトの名無しさん** · 2021/10/23(土) 18:14:14.05

最安で欲しい物を手に入れる方法が購入ではなく盗むことだとしたら盗むか？

unsafeで最速にするというアイデアはそういうイメージ

**デフォルトの名無しさん** · 2021/10/23(土) 18:26:04.70

>>289
メモリ安全性保証などの話は別にしても
C++は最初の小さな家Cを何度も建て増ししてきたような言語
Rustは最初から最新のパラダイムを洗練して採り入れた言語なのでプログラミングのしやすさがかなり違うかな

**デフォルトの名無しさん** · 2021/10/23(土) 18:53:49.04

誰もがc++ありえんと思ってて、代わりの候補もたくさん出てきた中で、ようやく使い物になりそうなのがrust

**デフォルトの名無しさん** · 2021/10/23(土) 19:14:18.65

C++が互換性を無視して不必要な機能をばっさり切り捨てることができればだいぶましな言語になる気がするけどそんなことはできないんだろうな。

**デフォルトの名無しさん** · 2021/10/23(土) 19:41:04.11

互換性がないバージョン1から3があるなら
最も不必要なのは2なんだよ
2を無視して1の互換性を重視するのは言うほど悪くない

**デフォルトの名無しさん** · 2021/10/23(土) 20:21:23.52

たしか、あわしろ氏がLinuxをRustで書き直すプロジェクト始めたはず。

**デフォルトの名無しさん** · 2021/10/23(土) 20:24:24.83

どこで？

**デフォルトの名無しさん** · 2021/10/23(土) 21:01:07.99

>>285
0か100しか認めないタイプか？
ストレスでハゲてそうだな。

**デフォルトの名無しさん** · 2021/10/23(土) 23:36:13.26

Rustは難しい言語ではない。気軽に始めてみるところからスタートしよう。Rust活用企業の現場に聞いてみた
https://engineer-lab.findy-code.io/rust

松本おおおおおおおお！

**デフォルトの名無しさん** · 2021/10/24(日) 14:51:32.96

FacebookはReactとかVRあるから日本でも結構重要なポジションになりつつあるな
SNSは全然流行ってないとしても

**デフォルトの名無しさん** · 2021/10/24(日) 17:16:59.20

c++の安心側に制約を追加したSmart c++は欲しい。Rustは要らない。

**デフォルトの名無しさん** · 2021/10/24(日) 18:13:51.90

D言語の話した？

**デフォルトの名無しさん** · 2021/10/24(日) 19:18:02.70

F#……

**デフォルトの名無しさん** · 2021/10/24(日) 20:44:53.71

F#って結局何作れる言語なの？

**デフォルトの名無しさん** · 2021/10/24(日) 23:46:02.08

>>301
プログラミングしやすいRustがあるのにC++ベースにはもう戻りたくないよね

**デフォルトの名無しさん** · 2021/10/24(日) 23:51:33.94

そういえばWebAssembly Studioなんてのがあるのを最近知った
https://webassembly.studio/

**デフォルトの名無しさん** · 2021/10/25(月) 00:38:46.00

>>301
c++23で契約プログラミングが標準化されたら改善するかも？

**デフォルトの名無しさん** · 2021/10/25(月) 00:42:01.96

そういやrustって契約プログラミングをサポートする文法あったっけ？

**デフォルトの名無しさん** · 2021/10/25(月) 01:31:51.79

https://crates.io/crates/contracts

**デフォルトの名無しさん** · 2021/10/25(月) 23:17:33.61

結局、データの共有かコピーかが楽に設定できるかどうかってことに焦点が当たって、
rustは捨てられることになるよ。
こんな明らかなことさえわからん連中ばっかなのが面倒ごとだな。

**デフォルトの名無しさん** · 2021/10/25(月) 23:55:02.93

コピーの反対はムーブかもしれないので、コピーの反対は共有だろうという雑な考えを捨てよう

**デフォルトの名無しさん** · 2021/10/26(火) 10:23:33.99

>>267
goroutineのネイティブスレッドとM:N関係。軽量と言っても、当然、中でコンテキストスイッチのように
実行の切り替えがある。他の言語は（機能が）無いので真っ当に比較出来ないが、ほかの言語で似た外部の
ライブラリを入れるとgoより重たいし、nodeのように、I/Oバウンドな非同期しかないと1つが詰まったら
全部止まるデメリットがある。goのGCが遅めなのは、当然、このgoroutineの並行性における不可分操作が
難しいからであり、rustのRc/Arcやnimの--gc:arc/orcに比べ並行性を保ちながら参照カウントを不可分の
操作にするとコストがとても大きくなるためと言われる。多くの人が勘違いしているのは、理論上はRcより
（トレース系のGCは）GCのほうが効率的（高速化が望める）だ、ただしGCはネックが生じる

**デフォルトの名無しさん** · 2021/10/26(火) 11:22:52.21

バカが老害ガー言われ始めるのに大体１０年くらいかかる。
こうして流行は終わる。

**デフォルトの名無しさん** · 2021/10/27(水) 12:05:58.55

Crystal入れてください

**デフォルトの名無しさん** · 2021/10/27(水) 14:14:45.58

存在感微妙だし。nimもいらんな

**デフォルトの名無しさん** · 2021/10/27(水) 15:48:46.91

Zigでもいれとく？

**デフォルトの名無しさん** · 2021/10/27(水) 16:26:23.01

Vがいいかも

**デフォルトの名無しさん** · 2021/10/28(木) 12:19:59.27

Vの良さでも語ってくれ
情報少なすぎてよく分からない

**デフォルトの名無しさん** · 2021/10/28(木) 13:00:24.39

あれは詐欺だろ

**デフォルトの名無しさん** · 2021/10/29(金) 00:13:25.52

vlangは0.3が全然出ないね。mutを後から導入したのがよほど不具合頻発になったのだろうか

**デフォルトの名無しさん** · 2021/10/30(土) 02:12:19.09

次に取り沙汰されるのはKokaみたいなAlgebraic Effectsのある言語だと思う

**デフォルトの名無しさん** · 2021/10/30(土) 02:29:08.63

取り沙汰される、って何年後のことやねん
やたら表現力高そうだし、ベストプラクティスがなかなか定まらなそう

**デフォルトの名無しさん** · 2021/10/30(土) 03:11:26.17

rustだgoだと言ってたら一瞬Vが騒がれて消えてなくなって今はnimなの？
今ならrustでいいじゃん
クッソ速くて賢くて小さくて安全でどこでも動いて便利な使いやすい言語誰か作ってくれ
一番大事なのは速いことな

**デフォルトの名無しさん** · 2021/10/30(土) 08:15:37.97

Nim is efficient, expressive, and elegant.

どこらへんがどうエレガントなのか謎やわ

**デフォルトの名無しさん** · 2021/10/30(土) 10:49:51.87

「エレガントさ」とか「楽しさ」で売ってる言語はクソの法則

**デフォルトの名無しさん** · 2021/10/30(土) 11:52:44.92

他の言語の存在を無視したりOSの存在を無視したりしたら
まともな説明ができなくなる
空虚な言葉を使うのは原因というよりむしろ結果

**デフォルトの名無しさん** · 2021/10/30(土) 13:21:47.38

むしろ複数のコンピュータをまとめて1つの環境として扱い、その環境で最適化して実行可能な言語を作ってくれ

**デフォルトの名無しさん** · 2021/10/30(土) 13:40:35.45

>>327
速度優先とメモリ効率優先は誰が決めるの?

**デフォルトの名無しさん** · 2021/10/30(土) 14:03:03.78

>>328
細かい部分は最適配分して決めるとしか
最初は適当なヒューリスティックでいい

**デフォルトの名無しさん** · 2021/10/30(土) 22:25:15.35

>>324
公式は3つ挙げてる。macro記述と言語そのもの差異がほとんど無いことを挙げている。$aとか別言語になったり
してない。もう１つはpython風の構文がエレガントだと言っている（これはpython風の構文を多くの人が嫌うの
で賛否が分かれると思う）もう１つは多くの言語が該当するので書かない。個人的にはvar/letじゃなくlet mutや
いちいち打つ::や、マクロで!とかの方がエレガントだと思わんけど、goでいえばpanicがあるのにtry/catchが無い
（多値戻りの2番目にerrorを入れてif判定させる）、genericsがまだ無いのもエレガントとは思えない

**デフォルトの名無しさん** · 2021/10/30(土) 22:27:20.82

>>327
Juliaでは、標準ライブラリの一つとして提供されているDistributedモジュールで分散メモリ並列計算を実装して
いる。Juliaのベースインストール状態では、2種類のクラスタがサポートされる。（1つはローカル）
・複数のマシンからなるクラスタ。--machine-fileオプションで指定する。パスワードが不要なSSHを
用いてJuliaのワーカプロセスを指定した計算機で分散される
@distributed for i = 1:100000
a[i] + b[i]
end
こういうのが１つの実行環境で複数のコンピュータでクラスタ実行される
--machine-fileで
3 164.67.165.21 # 3process
5 164.67.165.22 # 5process

**デフォルトの名無しさん** · 2021/10/30(土) 22:36:16.21

まあmacro記述を簡単にインライン展開するために別言語風になるのも分かるけど、、名前衝突が起きないように
デフォルトで別名に自動で名前を付けて展開してインライン展開する場合は特殊タグを付けるほうが

**デフォルトの名無しさん** · 2021/10/30(土) 23:31:55.44

>>331
そんなの言語レベルのサポートいらんやん
分散も並列化も勝手にやってくれ
プロセスもマシンも意識したくない
意識してもいいけど必須じゃなく、自動で可能な限り適切にリソースが配分されてほしい
プロセスとかそんなざっくりした単位でもなくね
それが実現可能な言語を用意せよと言っている

**デフォルトの名無しさん** · 2021/10/31(日) 00:40:29.24

それって言語じゃなくてOSとか別のレイヤーが果たす役割じゃね？

**デフォルトの名無しさん** · 2021/10/31(日) 00:43:34.15

言語レベルサポートが無いということは、分散も並列化も勝手にやったら不可分解の通常のforループも
分解されてしまうので、そんなことは不可能。繰り返し順次実行と、（表現上は繰り返しだが）並列実行
では意味も結果も異なる。
要らないというコンピューター言語学での証明は無い。思想的には集合要素に対するmap/reduceなどが
並列の操作ができるからと言って、forだけで表現できる語彙ではない。言語の標準ライブラリにreduce
などのAPIがある事は、それそのものが（並列に実行していないのに）並列性の表現と同じ意味。
CPU側でそれが並行操作可能か、何らしらのマーカーは必要というのは素人以外はすぐ分かる事
>”言語を用意せよと言っている”おまえ何様やねんｗ

**デフォルトの名無しさん** · 2021/10/31(日) 00:44:58.68

プログラミング言語という概念すら理解してないのがこのスレの住人のレベル