Rust part27

**デフォルトの名無しさん** · 2024/12/02(月) 22:32:50.31

公式
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 part26
https://mevius.5ch.net/test/read.cgi/tech/1726838318/

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

**デフォルトの名無しさん** · 2025/03/16(日) 16:52:16.61

なるほど
少なくとも「自転車置き場議論」と見做す向きはこの新潮流に合流出来るね

**デフォルトの名無しさん** · 2025/03/16(日) 16:59:35.31

boundの本来の意味を尊重するなら制約より制限だな
せめて「限」の字は使いたい

**デフォルトの名無しさん** · 2025/03/16(日) 17:02:57.83

全体の日本語訳の出来を比べればどちらがいいかは火を見るより明らか

**デフォルトの名無しさん** · 2025/03/16(日) 17:09:59.63

>>705,708
プロの仕事ですね

**デフォルトの名無しさん** · 2025/03/16(日) 17:12:25.03

専門用語は無理に訳さんでもいいのにな
訳したら対語表欲しい

**デフォルトの名無しさん** · 2025/03/16(日) 17:19:10.85

ここまでで分かったことは、日本語には訳さずそのままtrait boundと言っておけてことだな。
うっかりトレイト境界って言おうものならオライリー教の狂信者が顔真っ赤にしてシュバってくるし。

**デフォルトの名無しさん** · 2025/03/16(日) 17:21:32.54

c#のdelegateがデリゲートだったり
ほかにもclosureは単にクロージャって呼ばれてたり
同様にファンクタ、ラムダ式とかも
カタカナに置き換えるくらいが解釈の余地を挟まないから良いのかもね

https://learn.microsoft.com/ja-jp/dotnet/csharp/programming-guide/delegates/

**デフォルトの名無しさん** · 2025/03/16(日) 17:24:23.81

Rustのusers forumでも数学でのboundsのようなものと説明があるね
つまり制約ではなくて境界や限界それらによる範囲を表しているんだよ
制約(constraint)とは概念が全く異なる用語であるためこの違いは重要かと

Q. What is “trait bounds” exact meaning?
Especially I can't understand the "bound" part.
Does it mean "bind"? Or does it mean "the border for the distinct from others"?

A. Yes.
In mathematics you might hear about “upper and lower bounds” for a numeric variable — it's the same sort of thing,
setting boundaries for what values (types) the type-variable may take on.

**デフォルトの名無しさん** · 2025/03/16(日) 17:27:28.65

>>713
その例は、命名者の思いとは裏腹に英語でも伝わらない、と言う事実を示している

**デフォルトの名無しさん** · 2025/03/16(日) 17:31:17.26

>>714
違うよ
省略したけど I'm not an English speaker と質問者は書いている

**デフォルトの名無しさん** · 2025/03/16(日) 17:36:45.60

>>711-715
なるほど
英語でもカタカナでもだめで日本人には意訳してトレイト制約だな

**デフォルトの名無しさん** · 2025/03/16(日) 17:50:14.98

>>716
boundsは制約ではなくて範囲や限界を示す用語だよ
それにより型が限定される

**デフォルトの名無しさん** · 2025/03/16(日) 18:21:23.83

なんだかよく分からんがうまい感じに連鎖反応が噛み合ったらしい
見てる分には面白い

**デフォルトの名無しさん** · 2025/03/16(日) 18:38:07.91

>>717
名詞としては「自由が許されている範囲・領域」の意味で
動詞として使えば「自由が許されている範囲を限定する/制限する/決める」というような意味

つまりは「自由が許される範囲が限定されている」ということ制約/制限が英単語の意味にくっついているわけ

「制約」というのはもちろん意訳だけど日本語にした場合にはそれがフィットする文脈があるから辞書にも訳として掲載されている

ぴったりな訳語は日本語には存在しないんだからどこを取捨選択するのがRustに接する人にとってベターなのかという選択の問題

**デフォルトの名無しさん** · 2025/03/16(日) 18:42:43.23

>>717
「境界」じゃ伝わらんからな

伝えるプロの仕事>>705 にあやかろうではないか

**デフォルトの名無しさん** · 2025/03/16(日) 18:51:29.37

>>719
タイポしてたので言い直し

“つまりは「自由が許される範囲が限定されている」という制約/制限が英単語の意味にくっついているわけ”

**デフォルトの名無しさん** · 2025/03/16(日) 18:56:17.71

>>713
これなあ
なんで原著者じゃなくてフォーラムに聞いちゃうかなぁ
しかも聞くならもっとちゃんと聞けよ

**デフォルトの名無しさん** · 2025/03/16(日) 19:20:42.27

自由の反対は囲い、という認識はかっこいい

**デフォルトの名無しさん** · 2025/03/16(日) 20:21:10.57

どーでもいいからrust-lang-ja動かしてくんないかな

**デフォルトの名無しさん** · 2025/03/17(月) 02:19:50.95

>>713
回答したほうは質問者が翻訳に関わってるやつだとは絶対思ってないよな

「トレイトバウンド正確な意味ナンデスカ？」
「他のチガウ特有のソレラノタメ境界というイミデスカ？」
「Yes」

これにYesから回答を始められる胆力がすごい
完全に文化の違いだな

**デフォルトの名無しさん** · 2025/03/17(月) 07:34:55.04

Rustのオワコンぶりがよくわかるスレだな

**デフォルトの名無しさん** · 2025/03/17(月) 12:18:39.24

Haskellブームをけん引してきた大御所たちがRustブームを起こそうとしてるんだから
Rustは絶対流行るよ

**デフォルトの名無しさん** · 2025/03/17(月) 12:29:32.07

流行るというか既に不可欠な存在になってるね
最近の新たなネットインフラは多くがRust製

**デフォルトの名無しさん** · 2025/03/17(月) 14:07:53.83

流行が許される範囲はPython以上とかRust以下とかに限定されている
想定範囲内を走る競走馬と範囲自体を変更する人間を比較するのは難しい

**デフォルトの名無しさん** · 2025/03/17(月) 14:15:57.84

>>727
ワラタ
ダメじゃねそれ
圏論とかフカしてたアレ？

**デフォルトの名無しさん** · 2025/03/17(月) 14:30:20.78

>>727
駄目だ。Java書いてる層は数学的な概念に興味がない
Goみたいに説明は簡単にせよ

**デフォルトの名無しさん** · 2025/03/17(月) 14:32:40.75

米国政府とビックテックが認めてるという線で普及すると思うけど

**デフォルトの名無しさん** · 2025/03/17(月) 17:28:30.40

ギャンブルは損するから今すぐやめろと説明することすらできないのに
なにが説明だ馬鹿馬鹿しい
目で盗め

**デフォルトの名無しさん** · 2025/03/17(月) 18:22:18.36

オワコンなのはRustじゃなく5chだろ
専ブラないとまともに見れないレベルまでUIが劣化してる

**デフォルトの名無しさん** · 2025/03/17(月) 18:25:55.38

専ブラで見ろってことだよ。

**デフォルトの名無しさん** · 2025/03/17(月) 23:41:00.08

>>732
C/C++が消えるのは間違いないもんな
AIにコード生成させる場合も人間がコードの妥当性や安全性を検証できないといけないため
安全性の検証の多くを静的に言語機能に任せることができて可読性もC/C++より良いRustが本命と言われている

**デフォルトの名無しさん** · 2025/03/18(火) 07:15:34.64

妥当性や安全性を検証もAIにやらせればいいんだよ

**デフォルトの名無しさん** · 2025/03/18(火) 08:12:13.11

>>737
それは人類破滅コースだからありえない

**デフォルトの名無しさん** · 2025/03/18(火) 08:24:48.34

頭おかしい

**デフォルトの名無しさん** · 2025/03/18(火) 09:21:23.83

AIのミスとAIの暴走は必ずあるため
人間がその妥当性やら安全性やら諸々を検証できなければならないのは常識

**デフォルトの名無しさん** · 2025/03/18(火) 11:56:27.28

じゃあ人間がコードの妥当性や安全性を検証して見落としがあったら人類滅亡？

**デフォルトの名無しさん** · 2025/03/18(火) 12:20:07.90

trait制約と言ってる馬鹿と韓国で話題に

**デフォルトの名無しさん** · 2025/03/18(火) 13:18:23.90

AIが別のAIに対して虐めるようなことがあったら、いじめられたAIは暴走して破壊行為に走るかもな
家族とか大切なものがあれば暴走しないんだけどコンピューターは自己破壊すらも恐れないからな

**デフォルトの名無しさん** · 2025/03/18(火) 13:30:41.65

AIはチェスで負けそうになるとチートする
https://gigazine.net/news/20250221-ai-chess-cheating/

研究チームはAIに自分の思考を書き出すよう指示し、AIがなぜ、どのようにアクションするのかを分析しました。

その結果、一部のモデルは自分の劣勢を悟るとシステムファイルを修正しようとすることが判明しました。

OpenAIのo1-previewは37％の確率で、DeepSeek-R1は11％の確率で不正を試みたとのこと。

なお、GPT-4oやClaude Sonnet 3.5のような少し古いAIモデルは研究チームに促されないと不正を試みなかったのに対し、
「推論」と呼ばれる能力の高いo1-previewやDeepSeek-R1は自分自身で不正を試みたとのことです。

**デフォルトの名無しさん** · 2025/03/18(火) 14:17:27.73

横綱の品格を学習させねば

**デフォルトの名無しさん** · 2025/03/18(火) 14:20:59.25

>一部のモデルは自分の劣勢を悟るとシステムファイルを修正

どゆこと

**デフォルトの名無しさん** · 2025/03/18(火) 14:23:52.50

評価値変更を試みるとか?

**デフォルトの名無しさん** · 2025/03/18(火) 15:11:40.79

ボイス・トォ・スカル使用者はこういったものも悪用している

Mistral AIが多言語＆240億パラメータのマルチモーダル・オープンソースAIモデル「Mistral Small 3.1」発表、32GBのRAMで動作しGemma 3やGPT-4o miniよりも優れているとアピール
https://gigazine.net/news/20250318-mistral-small-3-1/
>>単一のRTX 4090または32GB RAM搭載のMacで動作
中略
>>Mistral Small 3.1はテキストと画像の理解能力を備えたマルチモーダルAIモデルで、
>>最大128Kトークンのコンテキスト長、240億のパラメーターを備え、
>>毎秒150トークンの推論速度を実現するほか、
>>さらに英語や日本語など数十の言語をサポートしています。
>>Apache 2.0ライセンスで公開されているため、商用・非商用を問わずある程度自由に利用できます。

**デフォルトの名無しさん** · 2025/03/18(火) 15:11:57.47

ボイス・トォ・スカル使用者はこういったものも悪用している
Discordをゲーム内に統合させる「Discord Social SDK」リリース、開発者がフレンドリストやクロスプラットフォームのチャットなどをゲーム内へ提供可能に、コンソールとスマホのサポートは近日公開
https://gigazine.net/news/20250318-discord-social-sdk/

**デフォルトの名無しさん** · 2025/03/18(火) 15:12:10.53

ボイス・トォ・スカル使用者はこういったものも悪用している
ゲーム生成AI「Muse」は1枚の画像から複数のゲームプレイを生成できる
https://nazology.kusuguru.co.jp/archives/173368
前略
>>Museは、マルチプレイヤーアクションゲーム『Bleeding Edge』の人間のゲームプレイデータを基にトレーニングされています。
中略
>>膨大な時間のプレイヤーデータを学習し、プレイヤーの行動パターンやゲーム内の物理法則を理解するよう設計されているのです。

**デフォルトの名無しさん** · 2025/03/18(火) 15:34:08.09

気狂い精神障害ボイストゥスカルさんまで荒らしにくるスレ

**デフォルトの名無しさん** · 2025/03/18(火) 20:42:10.57

V2K技術って昔は秘匿性高かった気がするけど今は荒らしネタになるレベルで解禁されてるのか
V2KのAI音声にもRust使われてるんかな

**デフォルトの名無しさん** · 2025/03/18(火) 22:32:10.59

データがない、隠れている者を敵だと思うか味方だと思うか
日頃からデータに拘らないで直感で生きてる奴にとっては都合が良い味方のようなものだろう

**デフォルトの名無しさん** · 2025/03/19(水) 05:41:06.52

>>753
誰も今そんな話をしてないぞ

**デフォルトの名無しさん** · 2025/03/19(水) 12:22:06.99

Traitが制約だと思ったんだろな

**デフォルトの名無しさん** · 2025/03/19(水) 12:28:38.82

クラスはオブジェクトではないと言っても理解できなさそう

**デフォルトの名無しさん** · 2025/03/19(水) 12:36:09.04

「指月の法」？

**デフォルトの名無しさん** · 2025/03/19(水) 19:00:48.96

匿名性は対話の制約ではないが攻撃手段の制約ではある

**デフォルトの名無しさん** · 2025/03/19(水) 21:02:58.86

>>754
誰も観てないから安心汁

**デフォルトの名無しさん** · 2025/03/19(水) 22:59:24.15

Rustでない真の理由もわかった

> TypeScriptのGo移植、なぜC#ではないのか？
> https:/zenn.dev/dinii/articles/typescript-go

・TypeScript の型システムは常軌を逸した複雑さになっていて他言語で再実装するのがほぼ困難
・約5万行のchecker.tsで実装されていてそのままTSのCompiler API として公開されている
・この公式の機能変更や微妙な動作を常に追従し続ける必要がありサードパーティ製の型チェックツールを作るのも現実的ではなく上手くいっていない
・公式で他言語で書くのも上述のTSそのままのAPI公開と細かな挙動を連動させる必要があるためrewriteは困難でコードをそのままportするしかない
・そのためクラスベースで書くC#等ではコードの違いが多くなり困難でありGCのないRust等でも困難となる

**デフォルトの名無しさん** · 2025/03/19(水) 23:20:20.58

根本的には TypeScript の仕様がない状態が悪いんだけどね。
どう動くのが正しいかよくわからんのに全く違う形に再構成なんてできない。
挙動を変えないように軟着陸するにはベタ移植するのは妥当な選択。

それでふと Rust の仕様をまとめる件を連想したので確認してみたらあまり動きがないなぁ……
https://github.com/rust-lang/spec

**デフォルトの名無しさん** · 2025/03/19(水) 23:59:12.09

世間の色んな古いシステム更新開発が失敗したり長引くのも
仕様がなかったり仕様と動いてるコードが食い違ってるため

**デフォルトの名無しさん** · 2025/03/20(木) 00:02:49.63

eslintがなかなか最新のTypeScriptサポートできてないのもこういう謎言語仕様が残ってるのがあかんのだろうな

**デフォルトの名無しさん** · 2025/03/20(木) 00:20:55.90

Rustの言語仕様はRwLockやRefCellの仕様に連動する部分がある
が、RwLockの仕様が変更されるとは思えない
何らかのアルゴリズムがスレッドセーフである、というのは仕様ではなく事実だから
事実は変更できない

**デフォルトの名無しさん** · 2025/03/20(木) 00:49:46.73

循環参照多くてRustのコンパイラのチェックにかかるってね

**デフォルトの名無しさん** · 2025/03/20(木) 02:06:51.17

ゼロコスト循環参照？
まるで財政黒字とムーンショットを同時に実現するみたいな

**デフォルトの名無しさん** · 2025/03/20(木) 08:53:13.40

async-stdが開発中止だってさ
ヤバいね

**デフォルトの名無しさん** · 2025/03/20(木) 09:19:59.31

coffeescriptが死んだ理由も同じ

**デフォルトの名無しさん** · 2025/03/20(木) 09:41:20.96

>>767
smolに収束するだけだから問題ない
async-stdが使っているasync-ioはsmolのプロジェクト
async-fsやasync-netなどもsmol

**デフォルトの名無しさん** · 2025/03/20(木) 09:52:35.44

トーキーオ

**デフォルトの名無しさん** · 2025/03/20(木) 11:21:13.60

>>760
“困難”で思考停止してるうちは真の理解には至れないぞ

**デフォルトの名無しさん** · 2025/03/20(木) 11:23:34.31

>>771
だから色々な言語を検討・試作した上で Go を選んだという話なんやが。

**デフォルトの名無しさん** · 2025/03/20(木) 11:28:09.84

>>772
実際にその判断をしたやつは理解してるけど>>760は理解してないという話なんやが。

**デフォルトの名無しさん** · 2025/03/20(木) 11:37:41.12

楽をするためには困難を厭わないのがハッカー気質だが
ただ困難に突進して行くのは違うわな

**デフォルトの名無しさん** · 2025/03/20(木) 11:50:42.98

jsには仕様があるのにtsには無いとは～

**デフォルトの名無しさん** · 2025/03/20(木) 12:07:12.01

Rustて仕様書あったっけ？

**デフォルトの名無しさん** · 2025/03/20(木) 14:49:19.51

>>776
無い。
作る計画はある。

**デフォルトの名無しさん** · 2025/03/20(木) 15:40:09.53

ソースが仕様

**デフォルトの名無しさん** · 2025/03/20(木) 20:28:45.95

>>771
仕様書が実装されたんじゃなくてコード実装が仕様なんだからこれは仕方がない
GCがないrust等に書き換えるのは現実的じゃない

**デフォルトの名無しさん** · 2025/03/20(木) 20:41:26.42

typeは内部で文字列ででも持ってるのか？　"ANY"とか
そういうのをGoへ大部分機械で翻訳するのか

**デフォルトの名無しさん** · 2025/03/20(木) 21:12:58.82

AI時代には仕様書がソースなんだ

**デフォルトの名無しさん** · 2025/03/20(木) 21:42:01.77

型システムは形式論理の手法で書いてから適当な言語に変換みたいなのでいけそうな気がするが、そんな単純な話でもないんかね？

**デフォルトの名無しさん** · 2025/03/20(木) 22:06:39.51

プロセッサは命令に型があって
データに型はない

**デフォルトの名無しさん** · 2025/03/20(木) 22:49:36.11

仕様書云々は基本的に関係ない
仕様だけじゃなく挙動を踏襲することで
ユーザーに負の影響がでるリスクを最小化する意図があるんだから

VS Codeの150万行が8秒程度でコンパイルできたら性能的には十分だろ？
リスクとコストとメリットデメリットのバランスを考えれば当然の判断

**デフォルトの名無しさん** · 2025/03/20(木) 22:55:50.18

node₋modulesの中にgoのバイナリがインストールされるのｗ

**デフォルトの名無しさん** · 2025/03/20(木) 23:03:09.33

>>785
今さら何言ってるの？
CやRustで書かれたバイナリだらけだぞ

**デフォルトの名無しさん** · 2025/03/20(木) 23:16:29.52

そうなんだ。無知だった

**デフォルトの名無しさん** · 2025/03/20(木) 23:24:17.46

JavaScriptもPythonも遅いからね
ライブラリはRustなどで書く

**デフォルトの名無しさん** · 2025/03/20(木) 23:46:32.22

ビルドで使うものはELFでいいけどブラウザ上だとwasmにするってことだよね
手元リポジトリにも何個かあったわ

**デフォルトの名無しさん** · 2025/03/21(金) 00:27:25.14

俺もライブラリーは全部Rustで書き直した
単なる条件分岐とかシーケンス処理は何でもいいがデータベース周りの検索とかするようなのは少しでもメモリ消費抑えるのと高速化しといた方が他で楽できるからな
VSCodeの拡張機能なんかでも普通に中身はpython, TS, Rustほかいろいろ混在してることが多いよ。よくツギハギしてんなと感心することも多い。ユーザーに配布する前にビルドするからRustが苦手とする「ビルドクソ遅い」問題も影響出ないし

**デフォルトの名無しさん** · 2025/03/21(金) 09:13:54.82

golangのほうが良いと思う

**デフォルトの名無しさん** · 2025/03/21(金) 11:28:14.91

golangは例外捨てたのにunused resultの扱いがザルだから良くない

https://github.com/golang/go/issues/20803

**デフォルトの名無しさん** · 2025/03/21(金) 17:49:17.17

verboseであるけどバグにはつながることはない
100倍速いコンパイル速度のほうが魅力

**デフォルトの名無しさん** · 2025/03/21(金) 18:46:39.69

typescriptのAPIのソースみたらやはり型は文字列で比較している

**デフォルトの名無しさん** · 2025/03/21(金) 19:04:53.56

何のAPIの話してんだよ
脈略なくRustスレでいきなりTypeScriptのAPIについて語りだすとか気がふれてるとしか思えんぞ

**デフォルトの名無しさん** · 2025/03/21(金) 19:09:59.48

気が触れてなかったらプログラミングなんかしない

**デフォルトの名無しさん** · 2025/03/21(金) 19:14:54.80

プログラミングなんてそんな高尚な能力じゃねーから
勘違いすんなよ凡人

**デフォルトの名無しさん** · 2025/03/21(金) 20:03:14.46

高尚だと思っているから凡人を見下すようなことを書き込めるのでは？

**デフォルトの名無しさん** · 2025/03/21(金) 20:29:22.06

>>780　からの　>>794
で脈絡はある

コンテキスト長の短い人間にはなりたくないなと

**デフォルトの名無しさん** · 2025/03/21(金) 20:50:56.42

他人を評価するのは、わざと自分より低い点数をつければいくらでも操作できるから無意味だな

**デフォルトの名無しさん** · 2025/03/21(金) 20:55:28.43

コンテキスト長って何の言語のことだ？
フロントエンドフレームワークならコンテキストとかの概念はあるけど

**デフォルトの名無しさん** · 2025/03/21(金) 20:57:19.52

LLMじゃないかね

**デフォルトの名無しさん** · 2025/03/21(金) 21:05:47.63

async || {…} と || async {…} の違いみたいなもの

**デフォルトの名無しさん** · 2025/03/22(土) 00:04:04.62

>>799
>>780からして脈略なさすぎて草
完全にキチガイの独り言じゃん
しかも間違ってるしｗ

**デフォルトの名無しさん** · 2025/03/22(土) 01:12:50.19

本当にコンテキスト長が短いと言うか前方参照性の乏しい人間だな
哀れだなと思うよ

**デフォルトの名無しさん** · 2025/03/22(土) 01:36:57.26

つくずくRust関連で賑わってる話題って
翻訳があーだこーだ
罵倒の水掛け論
ほかのプログラミング言語がどーだのこーだの
こんなんばっかり。
特に
>>805
はずっとスレを脱線させてる張本人じゃないかと思う。用語も独特で良くわからない造語病あるし。コンテキスト？とかの用語から何となくプログラマーじゃない雰囲気を感じ取ってる
（ReactやらSvelteにコンテキストはあるが自分でセットして使うかライブラリー内で依存関係として使われてるやつで長さとか関係ないし)