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

**デフォルトの名無しさん** · 2022/08/29(月) 11:22:16.48

スレタイ以外の言語もok

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

**デフォルトの名無しさん** · 2022/09/13(火) 12:43:32.14

>>646
関数型最速はF#

**デフォルトの名無しさん** · 2022/09/13(火) 12:52:26.68

>>653
実例根拠が待たれる

**デフォルトの名無しさん** · 2022/09/13(火) 13:22:39.32

>>609
既にそのパターン２で進んでるように見える
状況を認識できている世界的IT大手はいずれもRustを採用して高速と安全の両立へ
そしてまともなところは今後追随していくのが確実だからダメなクズが取り残される

**デフォルトの名無しさん** · 2022/09/13(火) 13:32:39.70

>>609
バスに乗り遅れるな論法
日本人には通用しなくなった

**デフォルトの名無しさん** · 2022/09/13(火) 13:41:48.64

弱肉強食がもう通用しない
早く生まれた年寄りが遅く生まれた子供の肉を食うから

**デフォルトの名無しさん** · 2022/09/13(火) 13:43:26.99

C++だって誕生当初からこれまで、先行投資なんか必要なく、
陳腐コモディティでも二極化でもないんだから

Rustも先行投資なんて必要なくてGAFAMのトリクルダウンをどっしり待つくらいで十分
トリクルダウンなんて期待してないけど

**デフォルトの名無しさん** · 2022/09/13(火) 13:46:36.71

GAFAMって、、永遠に試食タイムでしょ

**デフォルトの名無しさん** · 2022/09/13(火) 13:50:43.06

「甘ま～～い」ってさけんでる食レポ

**デフォルトの名無しさん** · 2022/09/13(火) 14:16:27.24

Rustの動きが興味深いのは、
C++の分野だけでなく幅広い分野で用いられてる点だが、
C++と異なり現代的な様々なパラダイムを簡潔に扱えるようシンプルに統合されてることも大きいのではないか。

もちろん、常に安全に自動的にメモリが解放される手軽さを得つつ、
少し注視するだけでC並みの高速化を安全に得られることが決定打なのだろうが。

**デフォルトの名無しさん** · 2022/09/13(火) 14:30:44.11

>>661
そう、Rustには興味のアンテナ張るだけ
先行投資なんてしないトリクルダウンって何年後？

**デフォルトの名無しさん** · 2022/09/13(火) 15:06:51.76

全プログラミング学習者へ。ハーバード大の入門講座「CS50」が無償かつ日本語で学べるようになりました！
https://www.lifehacker.jp/article/2209_cs50_new/
＞「CS50」ではコンピュータサイエンスとプログラミングに関する概念や考え方、C、Python、SQL、JavaScriptなど主要言語を学べる

Rustは対象外(笑)

**デフォルトの名無しさん** · 2022/09/13(火) 15:16:31.24

>>663
GAFAMの一角が協賛してるのにどうしてこうなった(笑)
https://media.loom-app.com/loom/2022/09/07/6d29489f-719f-4f30-91ec-bed1c0a7d52c/original.png

**デフォルトの名無しさん** · 2022/09/13(火) 15:16:52.14

>>609の二極化が進みそうだな
企業もプログラマーもRustを使いこなして高速と安全とリソースコスト削減をできるか否か

**デフォルトの名無しさん** · 2022/09/13(火) 15:22:08.86

>>609 >>663
二極化だと思ってたらHaskell衰退の道を追う

**デフォルトの名無しさん** · 2022/09/13(火) 15:28:18.43

>>664
おまえ頭悪そうだな
Rustがコモディティ化するのと二極化するのとどちらがGAFAMなどの寡占を維持できるか？
C言語と同等に高速で安全も満たす言語がRustの他にない

**デフォルトの名無しさん** · 2022/09/13(火) 15:31:30.15

>>667
ショックを隠しきれない(笑)

**デフォルトの名無しさん** · 2022/09/13(火) 15:35:59.10

>>645
１行に収まらない文章は見た目悪いから短くして

**デフォルトの名無しさん** · 2022/09/13(火) 15:38:06.45

>>667 >>662

GAFAMがRustを寡占するんだったら尚のこと先行投資なんてしない

GAFAM >Rustエコシステムには投資しないトリクルダウン無し寡占する

**デフォルトの名無しさん** · 2022/09/13(火) 15:39:48.42

>>667 >>662
GAFAM >だか今は試食タイムだ

**デフォルトの名無しさん** · 2022/09/13(火) 15:44:54.29

>>667 >>669
ショックを隠しきれない(笑)
>>663

**デフォルトの名無しさん** · 2022/09/13(火) 15:45:37.89

>>667
あーあ、D言語と戦争すんのか....

**デフォルトの名無しさん** · 2022/09/13(火) 16:26:40.14

Rustを使える企業とプログラマーが有利になるだけで
あとは置いてきぼりを喰らって不利になるだけだろう

**デフォルトの名無しさん** · 2022/09/13(火) 16:28:34.29

こんな風に攻撃的に擁護する人のいる言語は使ってはいけない
高確率で地雷

**デフォルトの名無しさん** · 2022/09/13(火) 16:33:18.32

>>664
教育コストが高すぎて、大学で教えられないということだろ。
情報工学でLispをやらなくなったのと一緒だよ。

**デフォルトの名無しさん** · 2022/09/13(火) 16:35:31.99

>>646
明らかによくわかってなくて草

**デフォルトの名無しさん** · 2022/09/13(火) 16:38:07.57

>>676
MITのことを言っているなら勘違いが過ぎる

**デフォルトの名無しさん** · 2022/09/13(火) 16:38:33.78

>>676
Lispがわかりにくいのは単なる構文の問題
やってることはJavaScriptと変わらんよ
なぜかそれを凄いことのようにブランディングした先人たちのマーケティング能力の方が驚きだよ

**デフォルトの名無しさん** · 2022/09/13(火) 16:44:59.43

>>679
Clojureの人たちは「本物のREPL」とか言ってるよね

**デフォルトの名無しさん** · 2022/09/13(火) 17:04:48.92

プログラミング言語で闘争を続けて、１つも新しいソフトウエアやサービスを生み出せない日本の縮図だな・・・
欧米企業なら、「最初のバージョンは常に捨てられる」の格言通り、いかにいち早く世に出すか注力する。
なんで書いてあるかは余り関係ない
日本にも有名なソフトウェアのコミッターは数多くいるけど、コンピューターサイエンスというほとんど役に立たない事が
ものすごいマウントポジションをとるだけに使われ、人より早く書くや、人より多く書く人はありがたがらない。
欧米だと「アイデアは価値がない、アイデアを誰より早く形にして価値がある」とまでされる

**デフォルトの名無しさん** · 2022/09/13(火) 17:14:35.35

そもそも向こうの技術者土方じゃないだろ

**デフォルトの名無しさん** · 2022/09/13(火) 17:15:56.27

>>681
はい、言語選択が決定的要因だとは思いません。

相関はあると思うのであえて言語/frameworkで聞きますが
Ruby(Rails)は現在で良い選択だと思いますか？
スタートアップだとかのサイト作成の場合

**デフォルトの名無しさん** · 2022/09/13(火) 17:20:10.04

書くのが遅いというか
お金をいくらもらえるか決めるのが早過ぎるのでは
カンバン方式みたいな

**デフォルトの名無しさん** · 2022/09/13(火) 17:24:48.85

>>684
Rustは書くのが遅いという前提の話かな

**デフォルトの名無しさん** · 2022/09/13(火) 17:28:11.67

システムプログラミング系の講義ならrust使うものとかあるんじゃないの

**デフォルトの名無しさん** · 2022/09/13(火) 17:30:11.70

>>686
ないと思うけど、どこかで見つけた？

**デフォルトの名無しさん** · 2022/09/13(火) 17:40:05.78

>>687
スタンフォードだったわ
https://web.stanford.edu/class/cs110l/handouts/course-information/

**デフォルトの名無しさん** · 2022/09/13(火) 17:44:48.56

>>688
Rustでメンタルモデル(概念)だけを教えてC++で仕上げとは
上手く行くといいね

**デフォルトの名無しさん** · 2022/09/13(火) 17:49:57.23

サイバーエージェントの広告配信サーバーもRustだし
クックパッドもRustだし
日本でもどんどんRustへ置き換わっていってるな

**デフォルトの名無しさん** · 2022/09/13(火) 17:51:04.29

rust system programming course university
でググったらUMDとかTUMとか出てくるわ
大学で教えられないほど教育コスト高いということはなさそう

**デフォルトの名無しさん** · 2022/09/13(火) 17:56:03.03

>>690 >>691
じゃあなんでRustがTIOBEで20位に入れないのか
https://news.mynavi.jp/techplus/article/20220907-2448116/
>Rustのように20位以内の常任入りが予測されつつも長期にわたって実現していないプログラミング言語

**デフォルトの名無しさん** · 2022/09/13(火) 18:10:20.77

ソフトは無料でも教科書には課金した方が
教科書の劣化コピーがネット上で大量生産されやすい

**デフォルトの名無しさん** · 2022/09/13(火) 18:35:59.90

>>692
Rustは勝者のためのプログラミング言語だから敗者には必要ない
敗者は遅い言語や危険な言語を使い続ければよい

**デフォルトの名無しさん** · 2022/09/13(火) 18:41:40.88

>>692
大学で教えられているかどうかとTIOBEのランクに関係がある理屈がよくわからんのだけど

**デフォルトの名無しさん** · 2022/09/13(火) 19:16:06.70

>>694
スゲー

**デフォルトの名無しさん** · 2022/09/13(火) 19:26:53.80

>>694
素晴らしい。
Haskell目指して頑張ろう。

**デフォルトの名無しさん** · 2022/09/13(火) 19:44:23.64

ClojureはあれでCircleCIとかいくつかの実用サービスに使われてるのがすごいよ。

lispは遊びでいくつか書いたけど、実用的なサービスをこれで書く気はなかなか起きないんだよなぁ。

**デフォルトの名無しさん** · 2022/09/13(火) 23:26:20.76

>>663
コンパイル方式がメインな言語はCしかないの？

**デフォルトの名無しさん** · 2022/09/14(水) 07:41:49.23

ClojureにはLogSeqでお世話になってる。Obsidianと併用

**デフォルトの名無しさん** · 2022/09/14(水) 09:46:52.30

型でプログラミングってこういうこと？

Rustで型レベルプログラミング
https://zenn.dev/yyu/articles/1eefb8f547dc1b

**デフォルトの名無しさん** · 2022/09/14(水) 09:49:05.48

>>701
素晴らしい。
Haskell目指して頑張ろう。

**デフォルトの名無しさん** · 2022/09/14(水) 10:07:19.36

上ので思い出したけど
先にtypescriptやったあとrust入ったせいでリテラル型がないの違和感なんだけどなんか理由あるん？
enumでいいじゃん的な理由？

**デフォルトの名無しさん** · 2022/09/14(水) 10:42:39.99

>>703
文字列との相互変換とかIDE補完とかtypoエラーチェックとかExhaustive matchingとか他
どっちがどうなのかまとめて

**デフォルトの名無しさん** · 2022/09/14(水) 11:18:49.59

お待たせしました(awesomeレス 1of2 ※)

Clojure StackOverflow >愛され言語ランキング上位
　　　　2つあるawesome-clojureがどちらもマメに更新される ←🆕
　　　　CircleCIとかいくつかの実用サービスに使われてるのがすごい ←🆕
　　　　「本物のREPL」(未確認) ←🆕　LogSeq(未確認) ←🆕
D　　　 C言語と同等に高速で安全も満たす言語 ←🆕
　　　　better C/C++の先駆者　breaking changeは日常茶飯事　awesome-d 老舗の割にマメ ←🆕
Rust　　試食コーナーで食べてもらって狂喜乱舞
　　　　GAFAM >Rustエコシステムには投資しないトリクルダウン無し寡占する ←🆕
　　　　GAFAM >だか今は試食タイムだ ←🆕
　　　　GAFAM >「あま～～い」ってさけんで食レポしてる😏みんな食べに来てね😛 ←🆕
　　　　StackOverflow >愛され言語ランキング1位
　　　　JetBrains >Rustで作らしてくれーと言ってるけど許可降りない
　　　　KENTA >提灯コメント出さない
　　　　俺 >数学出来ないのでRustはキツイ規制の鶴亀算が史上最強
　　　　俺 >鶴亀算でRustフレームワークが充実することなんて無い
　　　　Rust >鶴亀算だけなら俺が安全性や正しさを確実に保証 unsafeは関知しないお前の責任だ
　　　　俺 >今はRustだけで良い。レベルアップはお断りだ
　　　　俺 >数学出来ないけど有能社員を指導したいとは思ってる
　　　　俺 >すべての理解が概念的概念的に理解すれば簡単だ
　　　　有能社員 >Rustは学習コストが高い割に使えない
　　　　有能社員 >C/C++を書けないとRustは書けない、Rustは意味なし
　　　　有能社員 >Rustは言語オタク二極化だと思ってたらHaskell衰退の道を追う ←🆕
　　　　有能社員 >Rustには興味のアンテナ張るだけ先行投資なんてしない ←🆕
OCaml　関数型で速度を最優先するならこれ1択(or F#？) ←🆕　StackOverflow >愛され言語ではない
F#　　　関数型最速はF#(実例根拠が待たれる) ←🆕

**デフォルトの名無しさん** · 2022/09/14(水) 11:21:13.69

お待たせしました(awesomeレス 2of2 ※)

Go　　　実稼働分野でバリバリ活躍中　GitHub PullReq >TypeScriptとGoが圧倒的
Scala　実稼働分野でバリバリ活躍中　KENTA >日本では衰退しました
　　　　ScalaでのNetflix分岐点(未確認) ←🆕
Nim 　　試食コーナーでスルーされて意気消沈　英語できないので言語マニュアルの日本語訳がスゴい
　　　　Pythonからの乗り換えに最適(未確認実例が待たれる)
Pony　　開店前　唯一無二の売りがある模様 ripgrep並みの実例が待たれる　awesome-ponyが2年以上更新されていない
　　　　参照の持ち方だけで6つもある(Reference Capability) ←🆕
　　　　behaviorが終わるごとに該当アクターでGCを回す ←🆕
Haskell アカデミック勢が根強い　それ以外は衰退しました
FORTRAN 科学技術方面で強い、しばしば1択
Julia　科学技術方面開拓中　StackOverflow >愛され言語ランキング上位
COBOL　金融機関方面では既存システムで根強い　それ以外は衰退しました
LISP　　JavaScriptと変わらんブランディングした先人たちのマーケティング能力が驚き ←🆕

※ジョーク集です。「未確認」表示の有無に関わらず真偽を保証するものではありません。

**デフォルトの名無しさん** · 2022/09/14(水) 14:26:54.73

wsl2のdebian入れたら何故かgrepコマンドがなくてrust製のripgrep(rg)をいれたわ

**デフォルトの名無しさん** · 2022/09/14(水) 14:47:41.31

それ遅くないの？

**デフォルトの名無しさん** · 2022/09/14(水) 15:08:53.33

>>708
どっちの立ち位置のコメントかわからないけれどripgrepを知らない設定は不自然
ugrepとの比較のこと？

**デフォルトの名無しさん** · 2022/09/14(水) 17:43:41.36

WSL2にdebianの方の話だろ？

**デフォルトの名無しさん** · 2022/09/14(水) 17:45:19.09

>>703
パターンマッチ使えば同じことはできるよ
なんならマクロでもいい
ゼロコスト抽象化に反することはしないのがRust

**デフォルトの名無しさん** · 2022/09/14(水) 17:52:32.97

>>711
値が"foo"という文字列以外が渡されるとコンパイルエラーになる関数とか書けないでしょ

**デフォルトの名無しさん** · 2022/09/14(水) 18:00:21.72

ただ単にコンパイルがこれ以上遅くなる言語仕様を入れたくないだけ、何がゼロコスト抽象化だわｗまったく見当違いも良いところ

**デフォルトの名無しさん** · 2022/09/14(水) 18:22:00.72

>>712
だからマクロでできるっての
お前が何も知らないだけ

**デフォルトの名無しさん** · 2022/09/14(水) 18:26:53.48

>>714
うん、分からないから教えてよ

**デフォルトの名無しさん** · 2022/09/14(水) 18:35:03.91

typescript(+javascript)を言語機能(優劣、同等性)で敵に回すのは無謀だ
数的優位、実績が半端ない Rustがゴミの様だ

https://madnight.github.io/githut/#/pull_requests/2022/1/JavaScript,TypeScript,Swift,Go,Kotlin,Rust,Scala

**デフォルトの名無しさん** · 2022/09/14(水) 18:40:04.75

マクロでコンパイル時型エラーにできる？
実行時ならアサーション入れたりでマクロで何とかなりそうだけどコンパイル時に検出は無理くない？

個人的にはTypeScriptみたいな複雑さって本来過剰で、ブラウザ上のJSという特別な実行環境がゆえに必要になったもので、本来はenumとかで済までいいと思う。

**デフォルトの名無しさん** · 2022/09/14(水) 18:45:22.21

>>698
lispは惑星探査機とか、特殊な用途で使われてるイメージ。
身近なところだと、ルンバがlispで動いてたはず。

**デフォルトの名無しさん** · 2022/09/14(水) 18:49:12.89

>>718
>惑星探査機
何にも知らないけどAdaとかどうなんだろう

**デフォルトの名無しさん** · 2022/09/14(水) 18:53:12.24

>>717
マクロの引数をリテラル限定にしてその値をコンパイル時にチェックするくらいならできそうだけど
変数経由で渡されたときにその中身を確認するのは無理だろうな
Rustの依存型は提案されたけど入らなかったね（理由は忘れた）

**デフォルトの名無しさん** · 2022/09/14(水) 18:56:03.38

自動車船舶航空宇宙のプログラムで求められる安全性ってRustは保証しないの？

**デフォルトの名無しさん** · 2022/09/14(水) 19:13:40.15

>>714
>だからマクロでできるっての
>お前が何も知らないだけ

↓
>>720
>できそうだけど

これってまさか同一人物の発言?

**デフォルトの名無しさん** · 2022/09/14(水) 19:22:13.99

いや別人
自分はマクロを使っても完全なサポートは無理だと思ってるよ
マクロを使ってなんとか実現できそうなことを書いてみただけで

**デフォルトの名無しさん** · 2022/09/14(水) 19:35:40.12

現実派の>>723さん、>>721についてはどう思いますか？
突き詰めるとメモリ安全性って自動車船舶航空宇宙でも大きなウェイトを占めていてもおかしくない気がするのです。
Rust方面の意識として乗り物関連は避けたいとかあるんですか？

「Chrome」で対処されているバグの種類
https://asset.watch.impress.co.jp/img/wf/docs/1439/971/image3.png

**デフォルトの名無しさん** · 2022/09/14(水) 19:39:33.00

中身読んでないけどこんなのがあるらしい
https://codezine.jp/article/detail/15541

**デフォルトの名無しさん** · 2022/09/14(水) 19:41:21.82

>>724画像の記事
「Chrome」は「MiraclePtr」でさらに安全に～Googleが「解放後メモリ利用」対策を開設診断性が向上するという副次的効果も
https://forest.watch.impress.co.jp/docs/news/1439971.html

**デフォルトの名無しさん** · 2022/09/14(水) 19:44:04.15

>>724
トヨタが自動運転関係でRust使ってる話を見たことあるね
ChromeはRustで書き直せばバグを1/4に減らせると言われているね

**デフォルトの名無しさん** · 2022/09/14(水) 19:46:27.51

>>725
>安全を認定されたAdaツールチェーンの開発で培ってきた専門知識をRustコミュニティへ拡大する機会を提供する。
こういうのを待ってました!

>Ferrocene Rustコンパイラ
多分有償なんだろなorz

**デフォルトの名無しさん** · 2022/09/14(水) 19:50:08.79

>>724
GC言語だと赤と青はまず発生しないからやっぱりRustは別にそれを置き換えることはないな
あくまでもCやC++を置き換える有力候補

**デフォルトの名無しさん** · 2022/09/14(水) 19:53:28.65

>>727
トヨタはRust資産をOSSしてくれるんだろうか...

**デフォルトの名無しさん** · 2022/09/14(水) 19:54:27.88

>>728
FerroceneはRustコンパイラのISO26262認証取得を目指してるから
通れば自動車とかへの採用はあり得るよ
スポンサーもついているようだから少なくとも興味のある企業があるのは間違いない
Ferrocene自体はRustの特定バージョンの仕様を文書化して認証を取るという試みだから
コンパイラが別途有償になる予定はないはず

**デフォルトの名無しさん** · 2022/09/14(水) 19:55:03.16

>>726
その記事を読むとChromeはC++のまま情けない解決策を取ろうとしてるなあ
特に参照カウンタ方式を強制するのは敗北に見える
メモリ使用量が増えると明記されているのはともかく
参照カウンタのデータ競合回避保護のためのオーバヘッドでパフォーマンスも大幅に悪化が予想されているのか

**デフォルトの名無しさん** · 2022/09/14(水) 19:58:45.25

>>727 >>729
>ChromeはRustで書き直せばバグを1/4に減らせると言われているね
>あくまでもCやC++を置き換える有力候補
この辺はタラレバくらいに思ってます、軍事関係みたく湯水の様にお金をつぎ込まない限り

**デフォルトの名無しさん** · 2022/09/14(水) 20:00:07.72

>>729
GC言語からRustへ置き換えるケースが多いのは別の理由でメリットが多いためだよ
・高速化
・省メモリ化
・データ競合の完全防止

**デフォルトの名無しさん** · 2022/09/14(水) 20:05:15.38

>>731
続報待ちます

>>732,734
>データ競合回避保護データ競合の完全防止
難しそう。自動化してほしい

**デフォルトの名無しさん** · 2022/09/14(水) 20:09:59.80

>>735
データ競合をコンパイル時点でゼロにすることに成功したのがRust

**デフォルトの名無しさん** · 2022/09/14(水) 20:16:19.59

Rustのデータ競合防止のやり方は効率性を犠牲にして安全側に倒してるだけでしょ
程度の違いこそあれ、純粋関数型で全部イミュータブルにすりゃデータ競合なんか起こらねえというのと同じようなもんだ

**デフォルトの名無しさん** · 2022/09/14(水) 20:16:52.96

現実派の>>723さん、>>736についてはどう思いますか？

**デフォルトの名無しさん** · 2022/09/14(水) 20:27:11.32

ゼロってことはないよ
標準ライブラリ内とか人間がデータ競合しないことを保証してるところはそれなりにあって、そこにバグが入ることはありうる
実際過去に発見されたことはあったはず
ただまぁ他言語はほとんどなにも保証してくれないから
それに比べれば十分メリットはあると思うけど

**デフォルトの名無しさん** · 2022/09/14(水) 20:33:35.83

あと今人間が保証してるとこを機械的に証明しようという試みはあって
そういうのがうまくいけばゼロだと言える日がくるかもね
（そうはいっても証明手順に抜けがあるかもとかあるので真にゼロとはいえないかもだけど）

**デフォルトの名無しさん** · 2022/09/14(水) 20:34:31.90

並行安全がーとかいうけど言語自体やライブラリを跨いで共通のお作法で並行並列処理を書けるGoと違って
Rustはあまりにもお粗末すぎるから結局無駄なことしてるだけとしか思わない

**デフォルトの名無しさん** · 2022/09/14(水) 20:42:58.80

>>737
効率が必要ならunsafe使うとか、適材適所で手段を選べるようにしてるから純粋関数型のたとえはちょっと違う気もする

**デフォルトの名無しさん** · 2022/09/14(水) 20:49:55.99

>>737
一般的にデータ競合安全性のためには
1. まず前提としてデータ競合の可能性がある場合にコンパイル時に自動的に必ず検知できること
2. プログラマーはデータ競合の可能性がある部分のうち下記3.以外の方法(アルゴリズムやデータ構造などの変更)が取れる場合は変更
3. データ競合の可能性があるとして残った部分はロックなどで競合回避

Rustが用意しているのは1.の実施と3.の機構の提供
効率性を高めるか犠牲にするかは2.の実施と3.の利用をどう行なうか次第でありプログラマーによる自由度がある

**デフォルトの名無しさん** · 2022/09/14(水) 20:58:16.45

うん、だからそれデフォルトの挙動が安全側になってるという話だよね
そのレベルなら、デフォルトで全部immutableで必要に応じてmutableにできる言語なら十分に対策になってると言えるのでは

**デフォルトの名無しさん** · 2022/09/14(水) 20:59:30.08

>>741
Goは並行しない場合もする場も様々な安全をプログラマーの自己責任で確保しなければいけないことが多すぎてそれ以前の問題があります
例えば非常に単純な>>556の例でもGoコンパイラはエラーとしてくれないためプログラマーが自己責任で防がなければなりません
一方で同じ問題例をRustならば>>560のようにコンパイルエラーとして検知できます

**デフォルトの名無しさん** · 2022/09/14(水) 21:07:13.43

>>744
mutableを使った時点でデータ競合の可能性が発生するためコンパイラ等が検出する必要がある
一方で全てをimmutableにすると大量のガベージが発生して効率が悪い
効率と安全性を両立しているのはRust言語のみ

**デフォルトの名無しさん** · 2022/09/14(水) 21:15:24.31

GCあり言語ならストップザワールドやGCスパイクとか体験できるじゃん。
でもRustだとそれができなくなる。

**デフォルトの名無しさん** · 2022/09/14(水) 21:18:22.32

>>747
だからなに？

**デフォルトの名無しさん** · 2022/09/14(水) 21:23:32.90

>>744
mutableな共有領域に対するアクセスについてはコンパイラは特になにも保証しなくても良いということ？
そんな安全機構は邪魔なだけだから不要と

**デフォルトの名無しさん** · 2022/09/14(水) 21:58:51.43

全部immutableと言うけど、スレッド間で通信するメッセージがimmutableなだけで
スレッド自体の状態は刻々と変化する

マルチスレッドが何の役に立つのかさっぱり分からない人にとっては
状態遷移をするにはスレッドを使うしかない言語の方が分かりやすい

**デフォルトの名無しさん** · 2022/09/14(水) 22:33:42.94

話が盛り上がっていたので見守ってました...
>>739 >>740
>機械的に証明
この辺もタラレバくらいに思ってます。「ゼロってことはないよ」の方が逆に説得力w

自分の現場は、石橋を叩いて渡る、です。(能力体力は十分)
RustはGAFAMなんかより自動車ISO認証級の実績積み上げがないと、下っ端が言い出すのも怖いくらいです。
Rust現実派の人が現れたので便乗してしまいました。ありがとうございました。

**デフォルトの名無しさん** · 2022/09/14(水) 23:00:59.98

>>751
Rustは一貫して以下のルールでシンプルに安全性を保証している
「Rustコンパイラはunsafe部分を除いてプログラム全体の安全性を自動的に保証する」
「unsafe部分の保証と影響を外部に出さない保証のみプログラマーの責任となる」
つまりunsafeを用いたとしてもその局所的なコードのみ人間が注視するだけでプログラム全体が保証される仕組みをRustが提供している
従来の言語は安全でない部分がプログラム全体に散らばっている、かつ、言語が安全を保証する仕組みがない、という悲惨な状況であった