Rust part16

**デフォルトの名無しさん** · 2022/06/27(月) 08:17:03.45

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

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

日本語の情報
https://rust-jp.rs/

※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 part15
https://mevius.5ch.net/test/read.cgi/tech/1652347700/

**デフォルトの名無しさん** · 2022/07/21(木) 17:50:57.39

traitの画期的な部分はc++のabstract classで実現できないの？

**デフォルトの名無しさん** · 2022/07/21(木) 17:54:16.35

>>402
何が言いたいのかよくわからないけど型クラスになくてtraitにあるものって何？

associate typeはrustの発明だと思うけど、そういうこと言いたいわけでもなさそうだし

**デフォルトの名無しさん** · 2022/07/21(木) 18:07:36.13

自分が崇拝する神だけが唯一正しいと妄信して
他人の考え方を徹底的に糾弾排斥するのがカルト

カルト化した人間とまともな議論ができると思うな

**デフォルトの名無しさん** · 2022/07/21(木) 18:19:30.67

>>404
公式サイトにすら出典付きで載ってあることなんだけどなんでここで聞くの？
繰り返しになるがtraitの型クラス以外の側面に気づけないのはお前が単に馬鹿なだけ

**デフォルトの名無しさん** · 2022/07/21(木) 19:01:28.92

>>406
そういうのを誘導しないからお前はダメなんだよ。

prev.rust-lang.org/ja-JP/faq.html#how-do-rust-traits-compare-to-haskell-typeclasses

How do Rust traits compare to Haskell typeclasses?
Rust traits are similar to Haskell typeclasses, but are currently not as powerful, as Rust cannot express higher-kinded types. Rust’s associated types are equivalent to Haskell type families.

**デフォルトの名無しさん** · 2022/07/21(木) 19:15:30.44

>>407
traitの方が表現力低いって言ってるじゃねーか

**デフォルトの名無しさん** · 2022/07/21(木) 20:10:50.68

レスバスレ使ってくれませんか？

**デフォルトの名無しさん** · 2022/07/21(木) 20:48:28.30

>>407
それURLがprevで始まっているように古い情報ページ
わざわざそれを出すのは何か意図がある？

**デフォルトの名無しさん** · 2022/07/21(木) 21:43:04.55

>>408
正しい情報を啓蒙するのは面倒だということを知らしめる意図じゃない？

**デフォルトの名無しさん** · 2022/07/21(木) 21:59:42.36

>>404
Rustのトレイトは
トレイト境界を実装で指定できるだけでなく
トレイト境界を型宣言でも指定できるなど
様々な点で型クラスと異なるよね？

**デフォルトの名無しさん** · 2022/07/21(木) 22:56:58.50

幽霊型🥺

**デフォルトの名無しさん** · 2022/07/21(木) 23:06:53.32

>>404
associated typeもhaskell由来

**デフォルトの名無しさん** · 2022/07/21(木) 23:56:47.54

>>412
トレイトに関しては当然Haskellの型クラス由来の部分が多いけど互いに片方にしかないものもあり異なる側面があるわけか

**デフォルトの名無しさん** · 2022/07/22(金) 00:02:56.00

>>412
よくわかんないからコードで書いて

**デフォルトの名無しさん** · 2022/07/22(金) 00:07:23.73

今のところ型システムは完全下位互換だよ

**デフォルトの名無しさん** · 2022/07/22(金) 00:22:12.08

>>416
普通のこれだろ
struct Foo<T: Trait1 + Trait2> {
　inner: T,
}

**デフォルトの名無しさん** · 2022/07/22(金) 00:32:54.07

>>418
これが>>402が言う型クラス以上の意義があるものなの？

**デフォルトの名無しさん** · 2022/07/22(金) 00:45:08.67

402の話は402に聞け
少なくとも>>418は型定義の時点で制約できるから意義がある

**デフォルトの名無しさん** · 2022/07/22(金) 00:46:45.91

>>418
-XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.

**デフォルトの名無しさん** · 2022/07/22(金) 01:09:40.70

>>421
いきなり何かわからない話を向けられても困る
解説せよ

**デフォルトの名無しさん** · 2022/07/22(金) 01:43:49.12

トレイトのどの辺が「洗練された新たなプログラム構成要素」と感じるのか全然分からん
俺の中ではインターフェースと一緒の扱い

Rustが画期的だったのはOwnership/Referenceルール + Borrow Checker
この点に異論ある人はいないよね？

**デフォルトの名無しさん** · 2022/07/22(金) 02:15:42.10

>>423
一般的なインタフェースなんて
Trait Boundsもimpl Traitもdyn Traitもないゴミ

>>419
その点でも差異があるだけでなく
Rustのトレイトは基本概念こそHaskellの型クラスと同じだがそれ以外は各々の言語に適応してかなり異なる

**はちみつ餃子** ◆8X2XSCHEME · 2022/07/22(金) 03:26:24.88

>>424
そりゃ言語に合わせて変えるところがあるのは当たり前だが、
基本概念が同じだというなら類似物ではあるだろう。
カテゴリ分けしたらおおよそ同じところに分類するよ……。

**デフォルトの名無しさん** · 2022/07/22(金) 03:47:26.49

>>425
それは違うのではないかな
例えばHaskellはRustのtraitでのdyn(動的解決)とimpl(静的解決)といった重要な基本概念を欠いているよ

**デフォルトの名無しさん** · 2022/07/22(金) 05:52:26.07

C++の欠点は、何でもできること。
その欠点をなくして、わかりやすくしたのがRust。
バイナリ界のJavaと言い換えても良い。
ほとんどのプログラマはC++よりRustを使うほうが良い。

**デフォルトの名無しさん** · 2022/07/22(金) 08:04:03.49

>>410
だから最新情報に誘導しろよ。
無能か？

**デフォルトの名無しさん** · 2022/07/22(金) 09:31:13.18

>>427
これからRustはIT土方専用言語になっていくんだろうなあ

**デフォルトの名無しさん** · 2022/07/22(金) 09:55:09.86

>>424
>一般的なインタフェースなんて
>Trait Boundsもimpl Traitもdyn Traitもないゴミ

言語化できてないから本質を理解できていように見える

Trait Boundはジェネリック型の型制約で一般的なインターフェイスも型制約として機能する
一般的なインターフェイスは動的ディスパッチなのでdyn Trait相当

impl Traitがmonomorphizationのことを言ってるならそれはTraitの機能じゃなくGenericsの機能
C++で20年前から使えるよね？
C++以外でもSwiftみたいに一部の言語はGenericsのspecialization機能があるけど一般的にはオーバーロード使ってstatic dispatchにすることが可能

**デフォルトの名無しさん** · 2022/07/22(金) 10:57:57.42

>>418
javaのgenericsでextends使うとできるやつかな？

**デフォルトの名無しさん** · 2022/07/22(金) 11:30:46.07

Java厨は出て来ないで下さいうざいだけです

**デフォルトの名無しさん** · 2022/07/22(金) 11:34:22.85

>>429
msとかgoogleとかの狙いはそうだろ。
土方がコーティングしてもバグが入り込まない。
その代わり難易度が上がっているからコーダーの単価上がりそうだけど、msとかgoogleはそんなの気にしないだろうし。

**デフォルトの名無しさん** · 2022/07/22(金) 13:14:37.08

>>432
rustの画期的な部分なんだろ？言い返せないのかよダサいなお前

本当に革新的なのは>>423あたりなんじゃないの

**デフォルトの名無しさん** · 2022/07/22(金) 14:36:57.37

kumagiとか見てると、google社員でもc++触らせたらあかん奴ってのが結構いるのがわかる。

**デフォルトの名無しさん** · 2022/07/22(金) 14:59:23.46

>>431
Javaのジェネリクスは変な制限が多く
インタフェース指定していって問題があってもコンパイルエラーとならず実行時エラーとなるものがあるなどJavaは論外
他にも問題多すぎてRustに何ひとつ勝てないから新システムを機会にJava→Rustとなったものも出てきている

**デフォルトの名無しさん** · 2022/07/22(金) 15:43:33.15

>>434
Ownership/reference自体はc++にもあるからあんまり革新的とは思えないな。

コールスタック&RAIIを中心にしてメモリ管理ルールを再構築して、厄介なヒープメモリの管理をできるだけ避けて高速化しているのが特徴だと思う。
革新的なのはそのルールを徹底していることくらいかと。

**デフォルトの名無しさん** · 2022/07/22(金) 17:12:05.71

安全性とゼロコスト抽象化の制約下で開発効率を高める仕組みを導入していることがRustの特徴だよね
言語仕様や処理系実装上での苦労や工夫はいろいろあるが、それらによって実現される機能自体が目新しいものというわけではない

**デフォルトの名無しさん** · 2022/07/22(金) 17:40:06.82

Rustが発明したのかどうかはしらんけど、Borrow Checkerは他の普通の言語にはない仕組みで、目新しく感じるけどなあ
Borrow Checkerが効かないようなコードを書くんだったらRustを使う意味が感じられないぐらいにはね

**デフォルトの名無しさん** · 2022/07/22(金) 17:44:11.14

>>436
インターフェースの問題とJavaの問題を混同するのが論外

**デフォルトの名無しさん** · 2022/07/22(金) 18:05:15.33

Borrow checker自体は2000年頃のCycloneの時点でほぼできていたっぽい
Rust独自なのは多分shared xor mutableとmove by defaultじゃないかな

**デフォルトの名無しさん** · 2022/07/22(金) 19:11:51.06

>>437
そう。
C++には何でもある。
それが欠点。
必要なものに厳選して誰でも使えるようにしたのがRust。
C++のアイデアとJavaの実用性、二つの遺伝子を組み合わせたのがRust。
ちなみにお母さんがJava、お父さんはHaskellという建前だけど、本当のお父さんはC++。
Haskellさんは、自分の子供だと信じてる。

**デフォルトの名無しさん** · 2022/07/22(金) 21:06:16.19

キモいな
Javaは遺伝子引き継いでないから代理出産に違いない

**デフォルトの名無しさん** · 2022/07/22(金) 21:16:25.55

>>442
javaの立ち位置なんて、無関係な癖に建物の影からチラチラこちらをうかがって変な妄想してる気味悪い知らない奴だよ。

**デフォルトの名無しさん** · 2022/07/22(金) 21:29:36.07

>>435
あの人はプログラミング能力だけの人じゃなくてDBとか分散システムのアルゴリズムが主戦場の人でしょ。
プログラム読み書き堪能に越したことはないけど、そこだけで人を評価するのは視野が狭いよ。

**デフォルトの名無しさん** · 2022/07/23(土) 04:53:27.63

>>444
意味不明なこと言わないで

**デフォルトの名無しさん** · 2022/07/23(土) 05:40:41.12

>>435
C++だけでなくRustも理解できてない？

＠
純粋に疑問なんですけどRust使ってる中で「値オブジェクトマジ助かる！」って事あるんですか。
適当に参照で渡したデータが意図せず書き換えられて伝搬して困る典型ケースはコンパイラが潰してくれる認識なんですが。

**デフォルトの名無しさん** · 2022/07/23(土) 08:37:27.70

>>447
それはRustじゃなく値オブジェクトを理解できてない
院卒の新人だったりしない？

**デフォルトの名無しさん** · 2022/07/23(土) 09:37:03.85

Googleは金の亡者

**デフォルトの名無しさん** · 2022/07/23(土) 11:55:37.32

>>448
低レイヤーのプログラマーは値オブジェクトとか知らないほうが普通
アーキテクチャ設計といったらCPUやメモリアーキテクチャの事だと思ってたりするw

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

OwnershipルールとReferenceルールがWhat
Borrow CheckerはHowに相当

Howにももちろん価値はあるが
それと同じくらいWhatをシンプルに絞り込んだものにしたことにも価値がある

後知恵で見れば当然に見えるようなシンプルなルールを作るのはものすごく難易度が高い

**デフォルトの名無しさん** · 2022/07/23(土) 16:15:20.09

>>451
わかる
Rustのメモリ周りや、UnixとかRISC-Vみたいに、システムを動作させるに必要な機能の数をできるだけ小さくするのって難しいけど、完成品を見ると当たり前じゃんみたいな印象を受ける

**デフォルトの名無しさん** · 2022/07/23(土) 18:34:20.81

>>445
残念ながらスパナーとか普通に実装してるgoogleにおいてはあんまり価値のある能力ではないよ。

**デフォルトの名無しさん** · 2022/07/23(土) 19:04:05.94

ISO、C++標準化委員のグレイドン・ホアレ氏はC++0xの標準化過程で、後方互換性を削ぎ落せば理解しやすくなることに気が付く。
そして私的プロジェクトとして実装し始めた。
2016年4月、ホアレ氏は最初の製品をRustと命名し出荷した。

**デフォルトの名無しさん** · 2022/07/23(土) 19:21:14.26

C++標準化委員の人でもあったんか
それにしてもRustっていいネーミングだよな
なんかしっくりくる

**デフォルトの名無しさん** · 2022/07/23(土) 19:57:02.71

正直なところ一般的な単語とか1文字とかの言語名はやめて欲しいと思わなくもない。

**デフォルトの名無しさん** · 2022/07/23(土) 20:43:26.21

>>453
逆じゃね。自分たちで作ってるからこそアルゴリズム方面の知識の意味があるのでは

**デフォルトの名無しさん** · 2022/07/23(土) 21:05:19.84

>>454
Hoareはホーアかホアだと思うんだが
ホアレはどこの国の読み方？

**デフォルトの名無しさん** · 2022/07/23(土) 21:18:57.29

日本じゃね？

**デフォルトの名無しさん** · 2022/07/23(土) 21:28:49.17

>>456
昔は大変だったけど今時はグーグルさんもだいぶ賢くなって来たから〇言語や〇 langでいける

**デフォルトの名無しさん** · 2022/07/23(土) 22:37:12.56

>>454
>2016年4月、ホアレ氏は最初の製品をRustと命名し出荷した。
2006年の間違いじゃない？

ちなみに>>451に書いてるReferenceルールやBorrow CheckerはGraydon時代にできたものじゃないよ

**デフォルトの名無しさん** · 2022/07/24(日) 09:21:08.56

>>461
じゃあいつできたの？

**デフォルトの名無しさん** · 2022/07/24(日) 09:29:10.51

RustじゃなくてHoareの方が検索性は高かったと思う
言語に自分の名前つけたっていいじゃん、最初だけイタい人扱い受けるだけだし

**デフォルトの名無しさん** · 2022/07/24(日) 12:23:10.54

でも本当にHoareなんて名前付けたら絶対Tony Hoareのほうだと思われるやろな

**デフォルトの名無しさん** · 2022/07/24(日) 12:53:11.52

>>464
ほんこれ
あんな有名人とfamily nameが一緒とかすごい偶然だよな

**デフォルトの名無しさん** · 2022/07/24(日) 13:06:01.37

木村拓哉と苗字が同じ木村君みたいな。

**デフォルトの名無しさん** · 2022/07/24(日) 13:06:50.57

すごい偶然ですねえ・・・えっ

**デフォルトの名無しさん** · 2022/07/24(日) 13:35:38.58

Rust-Oneとか見たいな感じの名前が良かったんじゃないかとｗ

**デフォルトの名無しさん** · 2022/07/24(日) 13:48:30.68

新言語を作る際にはありふれた言葉を使うなってコンセンサスがあれば…

C java go Perl Ruby Rust ...

**デフォルトの名無しさん** · 2022/07/24(日) 13:53:14.16

せめて後ろに +lang した名前を正式名称にしてくれりゃなあ
Javalang、Clang、Golang、Rustlang...
clangは名前衝突するから今更ムリだけど

**デフォルトの名無しさん** · 2022/07/24(日) 14:08:13.51

RustとかGoはもう今じゃメジャーだから大分マシだけど
上の方に出てるCarbon？だのみたいな新しい知名度低いようなのにとっちゃ検索されづらいのって結構大きいデメリットじゃないのかね

**デフォルトの名無しさん** · 2022/07/24(日) 14:11:15.69

Car-bonおすすめ

**デフォルトの名無しさん** · 2022/07/24(日) 17:26:22.59

Rustでは検索にこまったことないけどなぁ
CやGoではそれなりに困ったことある
特にC

**デフォルトの名無しさん** · 2022/07/24(日) 17:35:43.91

>>469
perlは違うくね
入れるならpython

**デフォルトの名無しさん** · 2022/07/24(日) 18:34:31.10

Pythonはまさかちょっとしたイタズラ心で命名した言語が
30年経ってこれほどまでに普及するとは思ってないだろうなぁ。

**デフォルトの名無しさん** · 2022/07/24(日) 20:35:51.30

ゲームのRustが人気になっていても問題なく検索できてるなぁ

**はちみつ餃子** ◆8X2XSCHEME · 2022/07/25(月) 09:42:55.60

パーソナライズ (その人のアクセス傾向を検索結果に反映する) がそこそこ機能してるっぽいという話はあるなぁ。
個人情報保護の法律との兼ね合いが難しいみたいだが。

**デフォルトの名無しさん** · 2022/07/25(月) 11:46:03.92

RustはCやC++の後継にはならないな。

**デフォルトの名無しさん** · 2022/07/25(月) 12:46:43.99

CはC言語で検索してもC++が出てきやがるからな
迷惑な言語だわC++

**デフォルトの名無しさん** · 2022/07/25(月) 14:10:01.30

全然、思想や人柄が違う人を後継者に立てようとしても無理が有るな。

**デフォルトの名無しさん** · 2022/07/25(月) 19:30:13.93

>>456
その例でいってとにかくクソダメなのが Go
言語仕様も前時代的なウンコみたいな仕様だが何がだめといって名前がクソすぎ
ついでにいうとマスコットが致命的にキモすぎる

**デフォルトの名無しさん** · 2022/07/25(月) 20:08:08.67

goはgolangって呼び方が一般化してるから問題なくね？
親会社もalphabetだし、仮に一般名詞でも検索してやんよっていう自信の現れなのかも。
あとlisp monsterのほうが可愛いよね

**デフォルトの名無しさん** · 2022/07/25(月) 21:31:20.25

langってなに？

**デフォルトの名無しさん** · 2022/07/25(月) 21:42:28.43

ゴラン高原はイスラエルが不法に占領してるシリアの土地であり、日本政府はシリア高原と呼称するそうだぞ。

**デフォルトの名無しさん** · 2022/07/26(火) 07:10:48.91

今ちいかわってキモいキャラが流行ってるように
Gopherくんもいずれ世界的なマスコットキャラクターになるよ

**デフォルトの名無しさん** · 2022/07/26(火) 08:04:10.89

>>484
それはGolan

**デフォルトの名無しさん** · 2022/07/26(火) 08:15:07.77

今マイコン用クレートでメジャーなのってどのあたり？
自分で作るにあたり参考にしたいのだが

**デフォルトの名無しさん** · 2022/07/26(火) 08:36:59.30

>>487
おれたちが知るわけないだろバカか？

**デフォルトの名無しさん** · 2022/07/26(火) 08:37:23.50

言語の名前がGopherだったらよかったのに

**デフォルトの名無しさん** · 2022/07/26(火) 09:10:32.87

プロトコルの方のgopherについて調べる人が困るでしょ

**デフォルトの名無しさん** · 2022/07/26(火) 09:38:10.98

プロトコルはイーサリアムとビットコインで実現出来ます
この2種類以外は今後不要になります

**デフォルトの名無しさん** · 2022/07/26(火) 09:42:41.59

😲

**デフォルトの名無しさん** · 2022/07/26(火) 09:57:43.88

>>491
草

**デフォルトの名無しさん** · 2022/07/26(火) 11:19:17.05

Web3なんて流行るわけねーだろ
スマートコントラクトの開発コスト高すぎ＆不便すぎ

**デフォルトの名無しさん** · 2022/07/26(火) 11:50:54.04

それに引き換えBorrow Checkerは開発コスト低くて便利だね

**デフォルトの名無しさん** · 2022/07/26(火) 11:55:05.12

Rust=Web3 だからWeb3業界の勢いが無くなったら影響受けるよ

**デフォルトの名無しさん** · 2022/07/26(火) 11:59:58.82

>>496
意味不明

**デフォルトの名無しさん** · 2022/07/26(火) 12:14:19.05

Etherはイーサーだけど
Ethereumはァセーリアム
日本語読みだと外人に通じないから注意な

**デフォルトの名無しさん** · 2022/07/26(火) 12:46:34.54

>>487
AVR-HALとかいうやつ使ってる

**デフォルトの名無しさん** · 2022/07/26(火) 14:54:22.29

３年以内にMoveが天下取るとか言われてるけど本当かね

**デフォルトの名無しさん** · 2022/07/26(火) 14:58:00.69

本当だから高くなる前にいっぱい買っておけ

**デフォルトの名無しさん** · 2022/07/26(火) 21:01:19.60

ʕ◔ϖ◔ʔ