Rust part26

**デフォルトの名無しさん** · 2024/09/20(金) 22:18:38.38

公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust

公式ドキュメント
https://www.rust-lang.org/learn

Web上の実行環境
https://play.rust-lang.org

※Rustを学びたい人はまず最初に公式のThe Bookを読むこと
https://doc.rust-lang.org/book/

※Rustを学ぶ際に犯しがちな12の過ち
https://dystroy.org/blog/how-not-to-learn-rust

※Rustのasyncについて知りたければ「async-book」は必読
https://rust-lang.github.io/async-book/

※次スレは原則>>980が立てること

前スレ
Rust part25
https://mevius.5ch.net/test/read.cgi/tech/1722354386/

ﾜｯﾁｮｲスレ
プログラミング言語 Rust 4【ﾜｯﾁｮｲ】
https://mevius.5ch.net/test/read.cgi/tech/1514107621/

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

>>224
公式も認めている激烈絶壁の学習障壁を、あえて言わずにその主張をするのは詐欺ですな。

初心者向けのまともな学習書は出たのかしらん？

**デフォルトの名無しさん** · 2024/10/12(土) 11:04:13.10

学習時間が固定相場ならまともにはならない
昔の人がいうように修行は10年かかるとかいうレベルで時間が変動することを認めないと

**デフォルトの名無しさん** · 2024/10/12(土) 11:56:03.05

Rust 2024 editionっていつ出るの？

**デフォルトの名無しさん** · 2024/10/12(土) 12:06:55.87

C++ のあかんところはわかってても間違う (間違いをコンパイラやランタイムサポートが検出しない) ところ。
わかってないときに自分がわかってないということに気づけないところ。

このつらさと難易度を天秤にかけたら Rust のほうがマシ。

**デフォルトの名無しさん** · 2024/10/12(土) 12:33:44.48

>>225
ごめんなにいってるかわかんない
Rustの闇の話？

**デフォルトの名無しさん** · 2024/10/12(土) 13:30:21.66

中学生が好みそうなワード

**デフォルトの名無しさん** · 2024/10/12(土) 14:53:53.79

C++は完成品だという前提を強制してから自由に選ばせるのが闇だ
もしかして未完成なんじゃないかという解釈は必要
その解釈は誹謗中傷だという解釈もあるだろうが
未完成だったことにして完成品を作ってみたのがRustだとしたらやはり必要なことだった

**デフォルトの名無しさん** · 2024/10/12(土) 14:55:04.31

c++もrustもどっちも使えたらええだけやろ
所詮言語ごときで何を騒いどんねん

**デフォルトの名無しさん** · 2024/10/12(土) 15:40:11.45

rust

消えてく言語なの？

**デフォルトの名無しさん** · 2024/10/12(土) 16:05:55.21

Rustは一番嫌われている言語。

**デフォルトの名無しさん** · 2024/10/12(土) 16:12:40.29

普通10言語以上覚えて使い分けるだろ。

**デフォルトの名無しさん** · 2024/10/12(土) 16:55:23.16

使い分けてるのは言語じゃなくてIDなんだよなあ

**デフォルトの名無しさん** · 2024/10/12(土) 19:05:36.19

Rustの安心安全でいいんだけど
一つだけ欠点があって、それは誰も使ってないってことなんだよな

**デフォルトの名無しさん** · 2024/10/12(土) 19:31:25.97

んなこたない。
crates.io に登録されてたり github に上がってる大量のコードを誰が書いてるんだって話になるじゃないの。
他の言語との差はあるにしても誰も使ってないというほど少ないということもない。

**デフォルトの名無しさん** · 2024/10/12(土) 20:05:40.69

Rust Surveyの回答者が1万人だからある程度熱心な人はそれくらいいて、全体で5-10万人ってとこかな

**デフォルトの名無しさん** · 2024/10/12(土) 20:37:41.94

ネットインフラが次々とRust製へ変わっていってるように
絶大な効果を発揮している

**デフォルトの名無しさん** · 2024/10/12(土) 22:46:05.65

> ネットインフラが次々とRust製へ変わっていってる
具体的にどういうのがあるの？
無知なだけかもしれないけど自分はあまり実例を知らない (自分が知ってるのはFirefoxとDiscordくらい)

**デフォルトの名無しさん** · 2024/10/12(土) 22:58:36.02

ネットインフラが次々とRust製へ変わっていってるニュース記事ソース

例1
＞【クラウド世界トップシェアAWS】
＞https://japan.zdnet.com/article/35183866/
＞Rustで構築されたAWSサービスの例としては、
＞コンテナーアプリ用のサーバーレスプラットフォーム「Lamba」を支える「Firecracker」、
＞「Amazоn Simple Storage Service（S3）」、
＞「Аmazоn Elastic Compute Cloud（EC2）」、
＞コンテンツ配信ネットワーク「Аmazоn CloudFront」、
＞LinuxベースのコンテナーOS「Bottlerocket」などがある。

例2
＞【CDN世界トップシェアClоudflare】
＞https://www.publickey1.jp/blog/22/cloudflarenginxrusthttppingoracdncpu31.html
＞CDNプロバイダのCloudflareは、同社のグローバルなCDNの基盤として長らく利用してきたNGINXに代えて、
＞同社自身がRust製のHTTPプロキシである「Pingora」を開発し利用していることを明らかにしました。

**デフォルトの名無しさん** · 2024/10/12(土) 23:11:32.64

使えないって言ってるやつは頭が悪いだけ

**デフォルトの名無しさん** · 2024/10/13(日) 00:02:47.57

Linuxの時と同じような感じだな。熱狂的信者とアンチとの戦い方が。
結局、Linuxの場合、普及したのはサーバーサイドだけで、Desktopは5%程度にとどまることになった。
Rustの場合は、安全性重視の分野では天下をとるかもしれないが、安全性がそれほど重要でない分野はC++のままなのではないか。

**デフォルトの名無しさん** · 2024/10/13(日) 00:05:30.88

>>245
熱狂的信者は視野が狭く、アンチとは見ている世界が違う。
Linuxの場合も、信者は「Linuxは十分に普及した」と真顔でいまだに主張している。
しかし、アンチはDesktopを想定しているから話が合わない。
それと似たことがRust vs C++でも起きてくるのではないか。

**デフォルトの名無しさん** · 2024/10/13(日) 00:07:58.43

>>246
Linuxの場合も、20年経過した後、信者は「ほら普及したよね？」
アンチは「やはり普及しなかったな」という様相を呈している。
つまり、想定している「普及」や「勝利」の概念すら違っているのだ。
Rust vs C++でもそうなのではないか。

**デフォルトの名無しさん** · 2024/10/13(日) 00:08:15.95

>>245
セキュリティホールなど脆弱性があってもそれほど重要でない分野ってある？

**デフォルトの名無しさん** · 2024/10/13(日) 00:20:19.98

>>248
WordやExcel、画像エディタ、3Dモデラ、CADなどの一般アプリや、ゲームが
それに当たる。

**デフォルトの名無しさん** · 2024/10/13(日) 00:20:21.18

>>248
WordやExcel、画像エディタ、3Dモデラ、CADなどの一般アプリや、ゲームが
それに当たる。

**デフォルトの名無しさん** · 2024/10/13(日) 00:23:13.27

草w

**デフォルトの名無しさん** · 2024/10/13(日) 00:34:31.04

メモリ安全性や脆弱性に対する知識が皆無なんだろ

**デフォルトの名無しさん** · 2024/10/13(日) 00:47:36.22

>>249
それらは脆弱性があっては困る分野だ

**デフォルトの名無しさん** · 2024/10/13(日) 00:51:33.48

word文書保存すると無くなるってニュースが出ていたな
VSSもソースロストするって有名だったし

ま現物が無くなればアリストテレスでも論破不能だよね

**デフォルトの名無しさん** · 2024/10/13(日) 09:21:11.59

普及とか繁殖の定義が違うと言われても困るな
理解できないのは定義の違いではなく
一体なぜ繁殖を定義しようと思ったのかを理解できない

**デフォルトの名無しさん** · 2024/10/13(日) 12:12:14.31

>>239
crates.io や github に上がってる Rust のプロジェクトって
もうだれもメンテしてませんってのも多いよね
C/C++ でもそういうのあるけど

**デフォルトの名無しさん** · 2024/10/13(日) 12:14:41.71

>>246
>信者は「Linuxは十分に普及した」

スマホに限ってはそうだね
もちろん観てる世界が違う結果そう観えてる訳だね

**デフォルトの名無しさん** · 2024/10/13(日) 12:17:07.38

>>255
自分の世界で普及していないものは普及していないって言い張るタイプの人は一定数居る

**デフォルトの名無しさん** · 2024/10/13(日) 15:16:40.73

OpenCASCADE をRustに移植してくれる勇者は居らぬか?

**デフォルトの名無しさん** · 2024/10/13(日) 16:07:57.49

>>259
こういう感じ？
https://github.com/ricosjp/truck

**デフォルトの名無しさん** · 2024/10/13(日) 16:54:43.62

視点を変えるだけで生存者が死者に変わるというのは極端過ぎる
生命にたいする侮辱を感じる

**デフォルトの名無しさん** · 2024/10/13(日) 18:09:40.09

>>258
Unixの世界はもともと異なるメーカーのUnix規格に沿ったOSがあったわけだから、
無料のLinuxが普及するのは当たり前であって、ことさら強調されても意味が分からん
わけだよ。今で言うPC/AT規格やかつてのMSX規格の互換製品を作っても売れるのは
当たり前であって。

**デフォルトの名無しさん** · 2024/10/13(日) 18:11:20.56

>>262
MSXやPC/ATは互換性の有るものを非常に沢山のメーカーが当たり前の様に作っていた。
Unixもそれと同じ。誰でも作れるOSを無料化しただけみたいな。

**デフォルトの名無しさん** · 2024/10/13(日) 21:33:21.80

Rustの話してよ

**デフォルトの名無しさん** · 2024/10/13(日) 21:40:56.59

>>243
知らぬ間に我々が間接的に使ってるインフラが続々とRust製になってるんだな
身動きが取れない古くからの大きな遺物を除くと近い将来Rust製一色になりそうだ

**デフォルトの名無しさん** · 2024/10/13(日) 22:30:12.40

>>262
一々突っ込まないけどいっちょかみには
UNIXの歴史はそんなふうに見えてるんだなあ

**デフォルトの名無しさん** · 2024/10/13(日) 23:37:02.43

補給と撤退はできて当たり前という伝統的価値観はunixの伝統とは全然関係ない

**デフォルトの名無しさん** · 2024/10/14(月) 10:09:10.28

属人性排除は難易度が無限小という意味ではない
難易度がfnでもmutでもないだけ
それと、正解が複数あるのではなく誤解がいっぱいあるだけ

**デフォルトの名無しさん** · 2024/10/14(月) 10:31:37.38

いや正解は複数ある
誤解もいっぱいあるけど

**デフォルトの名無しさん** · 2024/10/14(月) 12:41:22.19

Haskellと同じ道をたどってる

**デフォルトの名無しさん** · 2024/10/14(月) 12:55:36.56

Haskellよりは盛り上がってるでしょ
ライブラリとか割とあるし

**デフォルトの名無しさん** · 2024/10/14(月) 13:34:21.16

エリート主義的で一般ウケしなかった関数型言語というレッテルを貼って一方的にぶん殴ってもいい存在がほしいなら、Scalaのほうが適任なんじゃね
知らんけど

**デフォルトの名無しさん** · 2024/10/14(月) 13:37:01.70

Eiffelの再燃とか無いのかな

**デフォルトの名無しさん** · 2024/10/14(月) 13:56:15.30

>>270
大手IT企業のほとんどがRustを用いている
そして>>243の例のようにITインフラがRust製へと置き換わっていってる

**デフォルトの名無しさん** · 2024/10/14(月) 14:13:01.64

このスレはバカ話が永遠に続くな

**デフォルトの名無しさん** · 2024/10/14(月) 14:31:11.38

中途半端にまともな話ができそうな雰囲気を出されるより
最初からバカ話に全振りしてくれてる今の状況がありがたい

**デフォルトの名無しさん** · 2024/10/14(月) 14:47:08.94

だれも Rust の話してないよねこのスレ

**デフォルトの名無しさん** · 2024/10/14(月) 17:04:57.32

なにが一番みたいな論争するやつは軒並みアホだよね
いつまで厨房やってんだか

**デフォルトの名無しさん** · 2024/10/14(月) 17:39:30.59

定期的にどこそこが採用しただの、アメリカ政府が推薦したという話が出てくる
が、具体的にコードを示して優位性を説いたりはしない

**デフォルトの名無しさん** · 2024/10/14(月) 19:35:56.02

https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=0bb08fd2d76e4ceb6cfa93c9b7fcf946

**デフォルトの名無しさん** · 2024/10/15(火) 15:25:40.98

play.rust-lang.org 死んでるのか

**デフォルトの名無しさん** · 2024/10/15(火) 16:19:54.80

>>279
ある時からコンピュータソフトの分野に権威性を持ち込む人が増えた。

**デフォルトの名無しさん** · 2024/10/15(火) 20:41:46.23

>>270
HaskellがRustみたいにinterface(雑誌)で連載持ってたら普及してたかもしれないね…。
いあ、GC有る時点で組み込み専門誌に連載なんて持てないんだが。

**デフォルトの名無しさん** · 2024/10/15(火) 21:39:59.36

関数型由来の考えもあるけど関数型言語ではない、というのがバランス的に良かった気がする
関数型に振ってたらRustもScalaやF#くらいのポジションに収まってたかも？

**デフォルトの名無しさん** · 2024/10/16(水) 01:15:48.39

firefoxってホントにRust使ってるの？ってくらいメモリ管理ダサい

**デフォルトの名無しさん** · 2024/10/16(水) 06:29:19.89

火狐と言えば、これってRustで開発してることに関係あるのかな？

ゼロデイ脆弱性の報告から解決までたった25時間～Mozillaが対応の早さをアピール
「Firefox」、「Thunderbird」、「Tor Browser」を最新にしよう
https://forest.watch.impress.co.jp/docs/news/1631133.html

**デフォルトの名無しさん** · 2024/10/16(水) 06:33:37.57

>>284
関数型言語の普及を願ってる人からすればショックだろうけど、Haskell好きな自分も現実解はその方が良いとは思う。
そういう意味じゃScalaも良いところまで行ってたんだけど、理由忘れたけど自滅したってのは覚えてる。

**デフォルトの名無しさん** · 2024/10/16(水) 07:16:03.45

ScalaはScalazとかで関数型を推しすぎたのと、標準ライブラリに破壊的変更バリバリ入れて過去のコードが動かなくなったせいだと思う

**デフォルトの名無しさん** · 2024/10/16(水) 08:13:07.22

>>284
言われてみればjsもそれに近いな

**デフォルトの名無しさん** · 2024/10/16(水) 09:44:47.18

Rustで開発してたらゼロデイ脆弱性なんて起こりません(ｷﾘっ

**デフォルトの名無しさん** · 2024/10/16(水) 09:46:37.48

Scalaの失敗はJavaをベースにしたこと

**デフォルトの名無しさん** · 2024/10/16(水) 11:03:29.32

https://xtech.nikkei.com/atcl/nxt/column/18/00692/042700054/

**デフォルトの名無しさん** · 2024/10/16(水) 11:05:35.24

>>292
>> GoogleおよびMicrosoftはセキュリティー脆弱性の70％がメモリー安全に関するバグに起因すると述べている。
>> C/C++を使う限りこれらを根絶するのは不可能と考えて、Rustを採用するに至ったというわけだ。

**デフォルトの名無しさん** · 2024/10/16(水) 11:06:00.19

中国製やロシア製のクレート使ってるとまずいの？

**デフォルトの名無しさん** · 2024/10/16(水) 11:24:30.99

Rustの一番の特徴はスタックフレームを意識して言語仕様の下敷きにしていることかと。ライフタイムとかスコープとか。結果として再帰構造を取り込んでいるから言語として強い。

関数型プログラミングを前面に出すとHaskellみたいになりそうだから止めてほしいところ。

**デフォルトの名無しさん** · 2024/10/16(水) 11:35:27.63

副作用がないとかは嬉しいけど、関数型信者はデータ構造をなんでもリンクドリストにしようとするキチガイだから関わりたくない

**デフォルトの名無しさん** · 2024/10/16(水) 11:40:53.10

>>296
んなことはない。
LISP 系ですらプロトタイプが終われば積極的に固有の型を定義しまくる。
そうなってないのはただカスなやつが書いてるだけ。

**デフォルトの名無しさん** · 2024/10/16(水) 12:33:07.98

>Rustの一番の特徴はスタックフレームを意識して言語仕様の下敷きにしていることかと。
こういう発言を見ると無駄にRust推してるやつのレベルの低さに呆れる

**デフォルトの名無しさん** · 2024/10/16(水) 12:34:03.40

>>297
Lispは関数型もどきってHaskellが言ってた

**デフォルトの名無しさん** · 2024/10/16(水) 12:49:23.38

過去スレのこの辺からの流れ思い出してしまった
https://mevius.5ch.net/test/read.cgi/tech/1692105879/423-

**デフォルトの名無しさん** · 2024/10/16(水) 16:38:38.84

スクリプト言語上がりからするとスタックフレームを意識するのは斬新なんだろ

**デフォルトの名無しさん** · 2024/10/16(水) 17:01:37.45

lispはlispを操作してlispを吐き出すための言語であって
それ以外の機能はオマケだから

**デフォルトの名無しさん** · 2024/10/16(水) 17:34:30.78

>>299
関数型がどうとかは重要ではなくて「リストを多用しがちと思われているLisp」という意味

**デフォルトの名無しさん** · 2024/10/16(水) 17:48:29.96

普通に多用するだろ
lisp使っててそこを認めないやついるのに驚き

**デフォルトの名無しさん** · 2024/10/16(水) 17:54:09.44

C言語もリンクリストの権現みたいな存在だったんだよ。

**デフォルトの名無しさん** · 2024/10/16(水) 17:56:35.94

リンクトリストで、一番初期に有名になったのが、LISP。
それを分かりやすくしたのがC言語、みたいな感じ。
リンクトリストは、8MHz程度の16BIT-CPUにおいて、
動的配列に比べてとても効率が良かったので、人気が出た。

**デフォルトの名無しさん** · 2024/10/16(水) 18:07:55.38

lispのリストとcでリンクリストが作れることは次元が違う話
lisp知らんやつに言っても理解できんだろが
だいたいリンクリストの権現って何だ？w

**デフォルトの名無しさん** · 2024/10/16(水) 18:11:33.23

ごん‐げん【権現】の解説
１仏・菩薩 (ぼさつ) が人々を救うため、仮の姿をとって現れること。
２仏・菩薩の垂迹 (すいじゃく) として化身して現れた日本の神。本地垂迹説による。熊野権現・金毘羅 (こんぴら) 権現などの類。
３仏・菩薩にならって称した神号。東照大権現（徳川家康）の類。

ありがたや🙏🙏🙏

**デフォルトの名無しさん** · 2024/10/16(水) 18:13:29.12

Cって、プログラムがリストになってるん？
lisp系以外で、こういうのってない気がするんだけど。

**デフォルトの名無しさん** · 2024/10/16(水) 18:39:06.97

>>309
Cの場合は、データ構造のみの話。

>>307
LISPは、プログラムもリンクトリストみたいだった
から、Cよりも権現といえるだろうけども、
Cもリンクトリストと密接な言語だと言われていて、
Cの速さはリンクトリストのおかげだった。

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

>>285
Firefoxの一部はレンダリング部分などRustになっているけど
そのメモリ管理部分を含めて本体はC++のままだよ
いずれにしても各アプリケーションによるメモリ管理部分は使用言語C++/Rustのメモリ管理とは別レイヤなので各言語の問題ではないね

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

>>295
ライフタイム導入でスタックフレーム上への参照と変数が管理するヒープへの参照を区別せず安全に扱えるようになっただけで意識するしないは別問題じゃないかな
そのためコストの高いヒープを回避できる機会が増えて高速化に寄与しているのは間違いないけど

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

>>306
今はパイプラインとキャッシュによりほとんどの利用ケースでリンクリストよりベクタが速くなってしまったね
元々メモリ使用量や多段間接参照になる点でリンクリストが不利だった点に加えて追い打ちをかけるように

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

>>310
Lispは言語としてcond, car, cdrがあるからリンクリスト言語だけどC言語は明確に違うね
Cはリンクリストもベクタもその他のデータ構造も実装できるというだけの平等な立ち位置かな

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

>>313
>今はパイプラインとキャッシュによりほとんどの利用ケースでリンクリストよりベクタが速くなってしまったね
典型的な間違い。

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

リンクリストは不変コレクションだから、副作用にこだわる関数型言語では特別な地位がある

ちなみにScalaではVectorという名前のもう一つの不変コレクションが多用されているんだが
これのRust版あるのかな？　中身は1ノード32要素のトライ木

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

ゆーてClojureとかHylangとか今ドキLisp女子はlist processingナニソレって感じのやつばっかやん

**デフォルトの名無しさん** · 2024/10/16(水) 21:41:36.61

やっぱりこのスレ関数型言語わかる人多いの？
C/C++系から入った自分としてはサッパリわからん

**デフォルトの名無しさん** · 2024/10/16(水) 22:33:14.93

>>318
パラダイムは実際にはグラデーション的で、要素が混ざり合ってる。
明瞭に線を引いて分類できるわけではない。
ML 系とか LISP 系とかは関数型みたいに言われることは多いんだが実際には関数型要素が強めのマルチパラダイムって感じで、 C++ を使いこなせる人なら入門書をちゃんと読めば使えるくらいの難易度。

誰もが文句なく関数型に分類するメジャーな汎用プログラミング言語は Haskell くらいだと思う。

パラダイムは脇に置くとして、 ML 系はインデントで構造を表す文法だったり LISP 系は丸括弧ばかりで構造を表すという外観の違いの段階で忌避感を持っちゃう人は結構いるかも？

**デフォルトの名無しさん** · 2024/10/16(水) 23:59:33.67

Rustで使うもの (式指向という考え方, match式, 代数的データ型, リストやOptionへのmap, filterなどの操作等) は理解できてるし、良いなと思って使えてる
それでも Lisp や Haskell は難しいという印象があるんだよね
指摘の通り見た目の見慣れなさで抵抗感があるだけなのかもしれない

**デフォルトの名無しさん** · 2024/10/17(木) 00:17:27.82

> ML 系はインデントで構造を表す文法

Haskell や F# が人気なのは分かるけど、OCaml や Standard ML を差し置いて勝手に ML 系の代表ヅラしないでくれますかね……

**デフォルトの名無しさん** · 2024/10/17(木) 00:25:33.00

元々は研究用の言語でコンパイラ開発とか特定の用途以外だと実用性低いし
ほとんど趣味の領域だから無理に手を出さなくていいよ
Haskellの知識があるとRustのtraitとか?演算子（Result戻し）に馴染みやすくなるけど
そのためにHaskellを勉強するほどではない

**デフォルトの名無しさん** · 2024/10/17(木) 00:26:57.93

>>321
Hakell は ML 系ではない扱いだろ。

**デフォルトの名無しさん** · 2024/10/17(木) 00:55:24.22

>>319
関数型の定義は何？

**デフォルトの名無しさん** · 2024/10/17(木) 01:12:31.87

>>296
Haskellは好きだけど、他の言語でそんな事しねーわｗ
郷に入っては郷に従えが基本。

パフォーマンスと人間関係を犠牲にしてまでする事じゃない。