X



Rust part23

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
垢版 |
2024/02/23(金) 17:37:52.13ID:CheDQupm
公式
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 part22
https://mevius.5ch.net/test/read.cgi/tech/1705760500/

ワッチョイスレ
プログラミング言語 Rust 4【ワッチョイ】
https://mevius.2ch.net/test/read.cgi/tech/1514107621/
0469デフォルトの名無しさん
垢版 |
2024/03/29(金) 21:08:57.87ID:bd1Zch8f
コーダーの「使う使わない」の問題じゃなくて、管理者の「許可する禁止する」の問題なんだよ。
0470デフォルトの名無しさん
垢版 |
2024/03/29(金) 21:45:08.79ID:DW6NdCQ6
>>451
君の時間の無駄ってこと?
こんなところで毎日無駄な時間過ごしてるのに?
それって君がやらなければいいだけだよね
0472デフォルトの名無しさん
垢版 |
2024/03/29(金) 21:52:31.85ID:TAofIzHh
エンジニアが判断すべき問題を管理者が決定してるようなレベルの開発現場まで
Rustが普及する日は来るんだろうか
上の方でも言われてたけどコーダー集まらない問題に直面しそうだが
0473デフォルトの名無しさん
垢版 |
2024/03/29(金) 22:06:45.92ID:wqpOcL9O
Rustはコーダーは集まらんだろ

普通は外注先がほぼコーディングできない新人を連れてきて実質的にこちらが教育する羽目になる
ある程度使えるようになるとそいつがどこか単価の高いところに送られてまた代わりの新人が送られてくる

大手だとこれの繰り返しだがRustはそれが難しい
0474デフォルトの名無しさん
垢版 |
2024/03/29(金) 22:29:09.47ID:wqpOcL9O
意図的にどこかで誰かが資金を投入してRustコーダーを栽培()しないと
増えるわけがない
javaやpythonじゃないんだから

野良Rustコーダーなんて存在しない
使える人間は100%C++使いなので引っ張ってこれない
0475デフォルトの名無しさん
垢版 |
2024/03/29(金) 22:30:50.06ID:UmT7/PmU
エンジニアの趣味なら高尚な言語追求してもいいと思うけど、ビジネスで使う言語はあくまでビジネスメリットが大きなもの選ばないと立ちいかなくなるよな
0476デフォルトの名無しさん
垢版 |
2024/03/29(金) 22:35:31.54ID:B//2x2dm
まあJavaとかC++のバケモノみたいな分量のコーディング規約の存在を考えると、「Unsafe使うな」の一言で済むRustは原理的にはビジネス的なメリットありそう
0477デフォルトの名無しさん
垢版 |
2024/03/29(金) 22:48:02.40ID:0Uoml8t7
それよりもホントにシステムプログラミングできてんのかが興味あるわ
CからはOSならばUnixやLinuxやWindowsが生まれてきたけど
Rustからは一体どんな素晴らしいものが生まれてくるんだろうか?
Cより書きやすくて? 安全なんだよね? 期待していいんよね?

Systems programming
https://en.wikipedia.org/wiki/Systems_programming
e.g. operating systems, computational science applications, game engines, industrial automation, and software as a service applications
0478デフォルトの名無しさん
垢版 |
2024/03/29(金) 23:01:23.64ID:B//2x2dm
今更OSを書いたところでビジネスに出来るのは一握りの人間だからCの頃とは話がちょっと違いそうではある
でも期待するのは自由だ
Rustファンはみんな期待している
0479デフォルトの名無しさん
垢版 |
2024/03/29(金) 23:11:14.94ID:JKQcuRe5
>>477
interfaceって組み込み専門誌は毎月お題スレみたいな問題を解く記事が出てたり、Rust特集の時でもOSを作るどころか、OS乗らないような環境(Cとアセンブラの独壇場。C++不可の世界)で組み込みRust使う記事とかあったよ。

ビジネスになるかはともかく、技術的には余裕なはず。
0481デフォルトの名無しさん
垢版 |
2024/03/30(土) 00:06:31.16ID:v9pXWAWc
>>472
Rustは仕様や周辺ツールが飛びぬけて優秀な故
JavaやPHP等他の言語と違って素人でも適当に書いても
大した問題は起こらないから「技術者の立ち位置」を守る観点で見ると
大規模開発現場で普及する事はこれからも無いよ。
0482デフォルトの名無しさん
垢版 |
2024/03/30(土) 01:01:10.58ID:7ofxl8DK
それで守られるのはITコン猿の立ち位置じゃね?
エンジニアは長期的な保身より目の前の利便性に飛びつきそうだが
0483デフォルトの名無しさん
垢版 |
2024/03/30(土) 01:46:17.09ID:v9pXWAWc
知ってる人間は黙ってRustの恩恵を受けておけば良くて
人売りサル業界は人/月だコミュニケーションスキルだと
喚いていれば良い。
0484デフォルトの名無しさん
垢版 |
2024/03/30(土) 07:28:24.91ID:6WvjgMqi
C++が流行った経緯知ってる奴なら想像できるだろ。
C++が出た当初はSTLもテンプレートもなかったしライブラリなんかはObjective-Cのほうが多いくらいだった。
でも流行ったのはC++。
0485デフォルトの名無しさん
垢版 |
2024/03/30(土) 13:15:43.05ID:Kpt9p6/a
C++はわかりやすく拡張されたCだからさ
ライブラリのAPIとかCばかりだから最悪そのまんまCでも良かった

NEXTSTEPでObjecive-C開発は呪術で入門書もなく上手くいかなくても何が悪いのかさっぱりわからない
日本語の書籍がないのが一番つらかった
0486デフォルトの名無しさん
垢版 |
2024/03/30(土) 20:58:56.17ID:IReUP+am
当時NeXTに触れてたやつおるん?
たまげたなぁ
俺なんか図書館の奥に潜んでるObjective-Cの本読んでたよ
いつごろだったかなぁ日本語のやつあったけどなぁ
まさかmacOSで脚光浴びるとは思いもせずに
0487デフォルトの名無しさん
垢版 |
2024/03/30(土) 21:08:50.38ID:Kpt9p6/a
研究室にあったんよ
当時でももう型オチででも予算無いからリプレースも出来ず
MOのデータを消しながら使ってた

古いUNIX系の雑誌の特集見てそれをポチポチやってクソうるさくて遅いHDDの音聞きながらコンパイル待って…と言う感じで

自分は図書館に埋もれたModulaの本を読んでた
0488デフォルトの名無しさん
垢版 |
2024/03/30(土) 21:14:51.55ID:IReUP+am
羨ましい
俺は演習室のBSDのWMをafterstepにしてニマニマしてただけ
あー羨ましい
0490デフォルトの名無しさん
垢版 |
2024/03/31(日) 11:42:27.74ID:lJUXuXT4
C の宣言の文法が無茶苦茶なのを C++ で改良するかどうか迷った話は D&E に書いてある。
結局は C のままでいくと判断した。
良くなるのだとしても、少なくとも一時的には大きな混乱が起こることを C++ は許容しなかった。
言語ってのはそれを取り巻くエコシステム (言語ユーザーやドキュメントも含む) と離れて成立することはないってこと。
C++ は C のツールチェインにほとんどそのまま乗っかる形で (最初は) 普及したし。

Rust はツールチェインの整備も一緒に取り組んだというのは普及の一助になったとは思うけど、
今までに作られた膨大なソフトウェア資源の最も低レイヤの部分は結局は C なんだよね。
そもそも ABI が C を基準にした仕様だったりするので
他の言語と接続するときは皆が C に合わせる形になる。

もしこれから Rust がもっと普及することがあったとしても低レイヤでは C の残滓はいつまでも消えないと思う。
0491デフォルトの名無しさん
垢版 |
2024/03/31(日) 15:29:48.98ID:dXzgmT0X
ABI stableにするのはエディション単位でいいんだからさっさとやればいいのにとは思う
0492デフォルトの名無しさん
垢版 |
2024/03/31(日) 16:44:42.12ID:PaHOJUqO
>>490
Rustで書いたOSが大流行でもしない限りCと同じようにはならない。
ただ、Linux は Rust を取り込み始めたので何十年も掛けてゆっくり Rust 化する可能性はある。
そうなると移行したライブラリは増え続け、50年後ぐらいには今のCと同じようになっているかも知れない。
もちろんその頃には別の新言語が出てきていて Rust が時代遅れな言語になっているわけだが。
0493デフォルトの名無しさん
垢版 |
2024/03/31(日) 19:15:56.54ID:r1rO2LMH
ABI部分のコーディングする人はプログラマーの1%もいないんだから影響は昔も今後もない
多言語システムはそれより多いけどそこはABIではなく様々な通信プロトコルなどを介する
0494デフォルトの名無しさん
垢版 |
2024/03/31(日) 19:55:09.30ID:T95JlUSJ
ABIこそ良い奴が出たら置き換えられそうだけどな
現状良い奴がないだけで
0496デフォルトの名無しさん
垢版 |
2024/03/31(日) 22:06:47.20ID:HimKkZni
いやまあ1%もいないんじゃない?
0497デフォルトの名無しさん
垢版 |
2024/03/31(日) 23:37:37.59ID:PUonJ710
そりゃABIがらみのプログラミングよりはProtocol Buffersなど使う方が多いんだろうけど
0498デフォルトの名無しさん
垢版 |
2024/04/01(月) 19:53:32.69ID:QJf4H8j7
そんなん言ったらrustを必要とするプログラマこそ1%もおらんけどな。
0501デフォルトの名無しさん
垢版 |
2024/04/02(火) 08:53:54.00ID:i0O60K8Z
>>500
メモリ安全というならSafe Rustのみだな。Unsafe Rustは禁止すべき。

c++標準も、Safe Rust に倣って
c++ subset for safe programming
とか 作ればいいのに。
0502デフォルトの名無しさん
垢版 |
2024/04/02(火) 09:19:58.94ID:D6QICSr8
メモリの具体的な番地やレイアウトに依存する低レイヤの事情が消えてなくなるわけじゃないからな。
0503デフォルトの名無しさん
垢版 |
2024/04/02(火) 09:39:48.87ID:EeET/S7r
java, python みたいな言語ならメモリ安全だよ。お前らの用途ならそれで十分だろ。
0504デフォルトの名無しさん
垢版 |
2024/04/02(火) 11:06:55.03ID:lti1kN7b
>>503
安全じゃ無いぞ
0505デフォルトの名無しさん
垢版 |
2024/04/02(火) 14:49:37.59ID:b3hi6lw5
>>501
C/C++はプログラム全体がunsafe空間なので難しい
safeにしようとすると全く別言語になってしまう
結局C/C++を捨てるのが正しい
0506デフォルトの名無しさん
垢版 |
2024/04/02(火) 17:14:03.69ID:kERS+9TD
>>503
nullポイントがある時点で…
一応JavaはStream APIと同じくらいのタイミングでOptional<T>が追加されてたはずだけど,だからといって従来の「失敗したらnullを返すメソッド」がOptionalを返すように修正されたわけじゃないしなぁ
0508デフォルトの名無しさん
垢版 |
2024/04/02(火) 18:23:13.98ID:mnREx4SD
ぬるぽ例外で止まるのはNone.unwrap()のpanicで止まるのと同じで安全に分類される
nullから何かを読み出して動き続けると危険
0511デフォルトの名無しさん
垢版 |
2024/04/02(火) 18:55:57.61ID:i0O60K8Z
>>505
コーダー向けだから別言語でいいよ。

new deleteは禁止していいし、ポインタ演算その他のポインタ処理は全部禁止でいい。生ポインタのヒープ領域コピーも禁止していいし、そもそも生ポインタ禁止で参照のみ可にしてもいい。
operator関数定義も禁止でいいんじゃない?
0512デフォルトの名無しさん
垢版 |
2024/04/02(火) 19:03:35.75ID:mnREx4SD
ちょっと何が禁止なのか分からないのでローカル変数の参照をreturnしておきますね
0513デフォルトの名無しさん
垢版 |
2024/04/02(火) 19:19:41.72ID:qL7KDCYj
rustって楽しい?
0515デフォルトの名無しさん
垢版 |
2024/04/02(火) 19:40:54.12ID:lti1kN7b
でもってライブラリが足りて無いなって思って「使えね」ってなるんだよね
0518デフォルトの名無しさん
垢版 |
2024/04/02(火) 20:26:12.86ID:lti1kN7b
>>517
結構前にもNASAが同じ様な事言って今やんw
0519デフォルトの名無しさん
垢版 |
2024/04/02(火) 20:31:06.25ID:EeET/S7r
rustを無理に使ってまですることがぬるぽ対策とかアホだよね
0520デフォルトの名無しさん
垢版 |
2024/04/02(火) 20:45:15.37ID:lti1kN7b
>>519
まあ戦争によるサイバー攻撃に備えろってのは分かるんよ
日本も来年ぐらいに戦争になるって予測がアメリカとか含めて言われてるからね
0521デフォルトの名無しさん
垢版 |
2024/04/02(火) 21:20:14.32ID:+5bQ5ala
>>518
NASAに続いて米政府も「C/C++からRustへ切り替えろ」と明確なメッセージを出したことは大きいね
間違いなく日本も追随することになる
0522デフォルトの名無しさん
垢版 |
2024/04/02(火) 21:56:04.08ID:mnREx4SD
Rust愛用者だけど今のホワイトハウスに推されると逆に不安になるんだがw
ONCDは健全なのかな
0523デフォルトの名無しさん
垢版 |
2024/04/02(火) 22:51:50.04ID:ZP8DsSPi
>>518
NASA?NSAじゃなく?
NSAはNASAじゃないぞ。
0524デフォルトの名無しさん
垢版 |
2024/04/02(火) 23:24:29.45ID:JjgiIhmH
ワロタ
NSAとNASAの区別もできんとはww

メッセージを出してるところが広がってトーンも厳しくなってきてるのは確か
2022/11 NSA
2023/09 CISA
2023/12 CISA+NSA,+FBI+Five Eyesの各機関
2024/02 White House(ONCD)
0527デフォルトの名無しさん
垢版 |
2024/04/02(火) 23:57:17.27ID:ULMcj34Q
外部のお墨付きを欲しがる時点でオワっとるんよ
言語として
ここでそういう話題使って必死で盛り上げようとして
消えそうな火に風送ってるつもりかしらんけど
0528デフォルトの名無しさん
垢版 |
2024/04/03(水) 00:07:33.86ID:xB8sPKZQ
IT大手ライバル同士が
GAFAMからHUAWEIまで一致団結して
Rust Foundationを設立した時点で未来は確定していた
そしてRustに対抗できるライバル言語の芽が今も存在しない
0530デフォルトの名無しさん
垢版 |
2024/04/03(水) 07:36:47.52ID:ClJR5oeK
Rustの代替になる思想の言語が全くそれ以降全く見ないからな。
今のところGCレスでメモリ安全に向き合った唯一の言語でねえの?

後発の言語は Rust みたいに複雑なコンパイル時の検証を最初から書こうなんてそうそう思えないんじゃないかな。
0531デフォルトの名無しさん
垢版 |
2024/04/03(水) 08:17:45.92ID:OgaFV8I4
>>527
欲しがってるかね?
むしろ外部が乗っかろうとしてる感じ。
0532デフォルトの名無しさん
垢版 |
2024/04/03(水) 08:58:53.93ID:7dkIXzmY
>>530
メモリ安全に向き合う、程度ならそれこそc++11が先駆けだろ。
過去互換性のせいで徹底できないけど。

それよりもRustはスタックフレーム指向であることに価値がある。
スタック is god, 再帰 is god.
0533デフォルトの名無しさん
垢版 |
2024/04/03(水) 11:38:42.38ID:TbyA9/um
>>515
まあ標準ライブラリがかなりミニマムだなぁって感じるときはある
乱数くらい用意しておいてよ…
0534デフォルトの名無しさん
垢版 |
2024/04/03(水) 11:38:56.67ID:zWYr6uc2
>>530
ある言語Aがあってその弱点が強烈で直したいけどすでに普及しきっている
で別の言語Bが作られる

その言語Bが普及しきっていなければ容易に弱点を変更できるので別のC言語は必要とされない
0535デフォルトの名無しさん
垢版 |
2024/04/03(水) 13:08:37.11ID:VOIzFFgw
>>534
>その言語Bが普及しきっていなければ容易に弱点を変更できる
これが真とは限らない
容易に変更できる場合もあればそうでない場合もある
0536デフォルトの名無しさん
垢版 |
2024/04/03(水) 13:33:20.93ID:7LWlVk3J
Rustで過去に結構破壊的変更がされてたらしいけどそれは普及してなかったからじゃないのか

wikipedia
> 2015年に1.0版がリリースされるまでにいくつもの破壊的な仕様変更があったが、1.0版以降は基本的には後方互換を保って6週間間隔で定期的にリリースされている。
0537デフォルトの名無しさん
垢版 |
2024/04/03(水) 21:45:24.20ID:ClJR5oeK
GCやJITは銀の弾丸と思われていろんな後発言語に取り込まれたけど、所有権は最初から組み込むには高度すぎるがエコシステム成熟前に組み込まないといけないという制約が大きいんだろうな。
0539デフォルトの名無しさん
垢版 |
2024/04/04(木) 03:50:23.61ID:6dtGhNgR
>>537
所有権は最終的にはプログラム間の境界の問題になるから、c++のスマートポインタのようにアダプタで管理範囲を調整することで改善可能。
適切なアダプタを用意しても境界のプロトコルをどうやって徹底するかという問題は残るから、Rustみたいに言語レベルで強制できると頑強になる。

ただ、Rustみたいにガチガチにすると設計の柔軟性を失うから、実装も早すぎる最適化になりがち。Rustの絶壁の学習曲線と相まって、開発初期のRust導入はプロジェクトを破綻させる要因となりうる。Rustが適しているのは、ある程度枯れた設計の実装を置き換えるようなプロジェクトかと。
0540デフォルトの名無しさん
垢版 |
2024/04/04(木) 04:13:47.93ID:KZy/sIny
Rustはむしろリファクタリングにも向いていてなかなか良い言語だぜ
とりあえず動くように雑に書いて動かしてみて
次に機能追加充実させる上で整理しながらモジュール化や共通事項のtrait化など

このようなリファクタリング過程で
他の言語だとメモリ安全性だけでなく書き換え競合やヌル値エラー値取り扱いミスなどエンバグすることも多いが
Rustではコンパイル通せばそれらの心配がなくリファクタリングできる
0541デフォルトの名無しさん
垢版 |
2024/04/04(木) 08:02:04.20ID:KuogGH/c
そもそもGC無しの言語ってニッチじゃない?
当面は、Rustで充足されて安泰な気がする。
0542デフォルトの名無しさん
垢版 |
2024/04/04(木) 08:06:01.77ID:wZ/e8tnl
うむり、実用言語では現時点で安全性とスピードを高い次元で両立できてるのはRustだけかもね。
関数型言語にも良いのあるけど、普及しなさそうだしね…。
(OCamlとか次世代HaskellらしいIdrisとか)

それにCとアセンブラしかない分野(C++不可なくらい低スペックな組み込み)でC++以降のモダンな言語が使えるのは大きい。
0543デフォルトの名無しさん
垢版 |
2024/04/04(木) 08:41:03.15ID:VIrJEXhK
学問的には合理的な型システムとか検証器とかの研究は大きく進んでるけど
メモリの動作モデルをそこそこちゃんと仕様にしてるのは C/C++ しかないんだよね。
LLVM が C/C++ を前提にしてるところもあるし、
Rust もそれに合わせる形になってるところもある。

C/C++ 的な分野をよりよくやる言語と考えると Rust はとても良い。
0544デフォルトの名無しさん
垢版 |
2024/04/04(木) 12:25:37.65ID:Gnl54rZ8
すまんが↓これが動く理由を教えて欲しいんだけどさあ
https://paiza.io/projects/uhC43ajorg-qaLG7mXbw7w
一見すると5行目で所有権が失われて、6行目で使ってるように見えるんだけど・・・・
これって5行目が借用に推定されてるの?
それともリテラルを引数にした場合だと5行目で「1」が他のスタックにコピーされて、所有権が失われる問題なんか起きないのかな?

へるぷみい
0545デフォルトの名無しさん
垢版 |
2024/04/04(木) 12:36:31.67ID:xh1kANkn
マクロだからセーフ
0547デフォルトの名無しさん
垢版 |
2024/04/04(木) 12:49:08.15ID:w8P1RFve
値が複製されて、複製された値の所有権が関数fに渡るだな。

所有権の複製とかいうクソワードは避けてくれ。
0548デフォルトの名無しさん
垢版 |
2024/04/04(木) 14:09:00.66ID:VIrJEXhK
>>544
i32 は Copy トレイトが実装されてる。
普通なら所有権の移動になる文脈で暗黙に clone されると思ったら良い。
0549デフォルトの名無しさん
垢版 |
2024/04/04(木) 14:21:30.05ID:Gnl54rZ8
そう言うことなのか、ありがとう!
理由が分からなかったから不気味だったぜ
0550デフォルトの名無しさん
垢版 |
2024/04/04(木) 15:21:14.87ID:AF0jRQyM
>>547
>値が複製されて、複製された値の所有権が関数fに渡るだな。
複製された値の所有権は最初から関数fのスコープの中で発生するものなので
「関数f」に渡るという表現には少し違和感を感じる
0551デフォルトの名無しさん
垢版 |
2024/04/04(木) 15:34:13.46ID:1vyOHDUL
「違和感を感じる」という表現に違和感を感じる
0553デフォルトの名無しさん
垢版 |
2024/04/04(木) 19:04:00.82ID:mNkWQBjH
感じてるから違和「感」だからね

要は頭痛が痛いと同じ
0554デフォルトの名無しさん
垢版 |
2024/04/04(木) 19:08:09.03ID:v0TcrcAn
違和感がある。これでどうだ
0559デフォルトの名無しさん
垢版 |
2024/04/05(金) 00:09:35.95ID:Lw8p7kTG
>>556
少ないね。
でも、そもそも今までCとアセンブラ以外はほぼ無い状態だったから、出てきただけマシ。

それに、少ないといってもシェアが広いアーキなので滑り出しは順調と言えるのかと。
0561デフォルトの名無しさん
垢版 |
2024/04/05(金) 00:50:16.55ID:Lw8p7kTG
少し前まで次世代言語と言われてた程度には後発。

鯖向け言語で終わると思ってたら、マジでC/アセンブラの牙城を崩し始めるとは思わんかった。
むしろ崩し始めることすら無理だと思ってた。
0562デフォルトの名無しさん
垢版 |
2024/04/05(金) 05:07:52.53ID:CPVE6BHF
>>559
状況も追い風なのかもね。
二の足踏んでたけど、armと生きていく決心をしてrust覚えるか。

先にrust身に付けてから、非対応アーキでC++導入したらメリットあるかな?
0563デフォルトの名無しさん
垢版 |
2024/04/05(金) 08:11:28.72ID:Lw8p7kTG
Rust知ってれば安全性の高いシステム組めますと言うアピールになるし、C++にもその安全性のための知見は役立つ。
複数言語使えますってだけでもアピールになるしね。

Rustは多分仕事自体はまだ多くない。
これからアピールして増やしていく感じなので、両方使えてた方がいい。
0564デフォルトの名無しさん
垢版 |
2024/04/06(土) 22:48:03.64ID:4i1Gvjc8
rustというものがありながらなぜ大部分のコードはC言語なのかを知るために現場に行くのもアリ
0566デフォルトの名無しさん
垢版 |
2024/04/07(日) 01:26:10.29ID:Hmt7T+4v
Rustへの移行は始まったばかりだからまだまだCが残っているのは当たり前
0567デフォルトの名無しさん
垢版 |
2024/04/07(日) 10:55:29.15ID:QD1FKAnH
絶壁の学習曲線。
貧弱なライブラリと人材。
早すぎる最適化。

しばらくは既存コード置き換えが中心だし、今後もプロジェクト初期のプロトタイピングで使われることは無いだろう。
0568デフォルトの名無しさん
垢版 |
2024/04/07(日) 14:17:46.28ID:vzw88H1n
P系言語の糞思考に染まっていない初心者こそ
最初にRustを学ぶべき
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況