Rust part22

**デフォルトの名無しさん** · 2024/01/20(土) 23:21:40.08

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

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

**デフォルトの名無しさん** · 2024/02/10(土) 18:22:04.19

只の道具なんで、向いていれば適応するし、向いてなければ使わない。
宗教的な正しさなんてどうでも良いんですよ。

おまいらは政治将校か？

**デフォルトの名無しさん** · 2024/02/10(土) 18:23:43.39

実装パターン < デザインパターン < アーキテクチャパターン
すべてデザイン(設計)のパターンではあるけど対象とする粒度の違いで呼び名が違う

**デフォルトの名無しさん** · 2024/02/10(土) 18:25:26.70

Rustでよく使われてるパターンは
レイヤードアーキテクチャ
DDD
クリーンアーキテクチャ
なのかな？他にある？

**デフォルトの名無しさん** · 2024/02/10(土) 18:26:30.51

>>583
勉強になる👍

**デフォルトの名無しさん** · 2024/02/10(土) 18:27:23.64

>>580
そう感じるのはクリーンアーキテクチャをオブジェクト指向で実装した例だけを見て
クリーンアーキテクチャをオブジェクト指向の文脈でしか理解できてないからだと思う

**デフォルトの名無しさん** · 2024/02/10(土) 18:29:37.58

>>570
暴力でも寛容でもないふつうの非暴力闘争がいいのに
非暴力的な二項対立まで否定するのは行き過ぎだよ

**デフォルトの名無しさん** · 2024/02/10(土) 18:50:48.17

>>586
そういう逃げは良くないぞ
例えばDDDはオブジェクト指向じゃなくても実現できる！と言ってるのと同じ
実質そのような原典は存在しない
独自解釈によるものにすぎない

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

オブジェクト指向、スタック指向、手続き型しか知らないんだけど他になにがあるの？勉強したいから教えてくれ

**デフォルトの名無しさん** · 2024/02/10(土) 19:08:51.93

あと関数型と手続き型の区別がつかない

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

関数型はオブジェクト指向において部分的に使うもの
高階関数とかラムダ式とかはそんなに難しくない

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

>>590
一緒だよ

**デフォルトの名無しさん** · 2024/02/10(土) 19:44:00.53

高階関数は「人間にとって」わかりにくくなるので使うなと
言われているね

あと論理型というのがあったなあ

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

>>589
フロントエンド用途でコンポーネント指向

あと関数型というのは名前の通り関数に型を持たせたってだけ
高階関数と呼ばれてるね

オブジェクト指向に成り代わるものはいまだ出てきていない

**デフォルトの名無しさん** · 2024/02/10(土) 19:50:32.36

オブジェクト指向信者の人達、その時々の優れたものをオブジェクト指向認定してるイメージがある
あるいはオブジェクト指向とはオブジェクト指向を名乗った言語の良いところどりおよびそれと重なる全てと定義していそう

オブジェクト指向信者もJavaは嫌いそう

**デフォルトの名無しさん** · 2024/02/10(土) 19:52:30.82

それはそうと継承の省かれたオブジェクト指向はオブジェクト指向と名乗るべきではないと思うんだが、新しい名前は無いの？

**デフォルトの名無しさん** · 2024/02/10(土) 19:57:03.35

むしろ継承を省かれたぐらいでオブジェクト指向を名乗れなくなる方が意味不明なんだが。

**デフォルトの名無しさん** · 2024/02/10(土) 20:00:09.44

オブジェクト指向は単なる理論であって言語がどう実装するかは言語の勝手

**デフォルトの名無しさん** · 2024/02/10(土) 20:03:05.61

狭義のオブジェクト指向言語は
データと操作を一つにまとめて型として使えるよ
ということだけ

カプセル化、継承、多態性をオブジェクト指向に入れるかどうかは
昔から諸説ある

**デフォルトの名無しさん** · 2024/02/10(土) 20:03:30.97

>>596
オブジェクト指向はオブジェクトの中に値(異種複数可)を閉じ込めてオブジェクトへの公開メソッドのみ公開すること
継承なんて概念はない

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

なんかオブジェクト指向といいデザインパターンといい一般的な意味とは違うふうに捉えてる人が多いね

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

オブジェクト指向かどうかはどうでもよくてどういうアーキテクチャで設計して実装するかが重要なんだけど

**デフォルトの名無しさん** · 2024/02/10(土) 20:13:45.74

関数型プログラミングがどこで使われてるのか調べてみたけどコンピューターサイエンス分野しか見つからない

**デフォルトの名無しさん** · 2024/02/10(土) 20:22:15.34

>>603
関数型プログラミングはただの手続き型プログラミングなんだから当たり前だろ

**デフォルトの名無しさん** · 2024/02/10(土) 20:30:09.19

フロントエンド屋か単にスクリプト組むくらいしかやらない人はオブジェクト指向に触れない
実装屋は逆にオブジェクト指向をベースにしたものばっかりやる
オブジェクト指向アンチの正体が分かっちゃうね

**デフォルトの名無しさん** · 2024/02/10(土) 20:39:26.86

手続き型を文芸的にしたのがオブジェクト指向で、数学的にしたのが関数型

**デフォルトの名無しさん** · 2024/02/10(土) 20:46:30.71

オブジェクト指向も関数型も確固たる定義がないバズワードだからな
話題にするだけ無駄

**デフォルトの名無しさん** · 2024/02/10(土) 20:54:14.59

グラデーション的だわな。
常識的な分類として「かなりこっち寄り」くらいに言えるものはあるけど。
文句なく関数型といえる汎用プログラミング言語は Haskell くらいか。

**デフォルトの名無しさん** · 2024/02/10(土) 21:00:12.52

オブシコアンチってなんでアンチやってるの？オブシコへのただならぬ恨みを感じるけど

**デフォルトの名無しさん** · 2024/02/10(土) 21:04:41.79

勉強になるような知識どんどん書き込んでくれ

**デフォルトの名無しさん** · 2024/02/10(土) 21:20:25.37

オブジェクトを指向指向したら汚いコードがいっぱい出た

**デフォルトの名無しさん** · 2024/02/10(土) 21:34:14.43

オブジェクト指向自体には問題はなにもない
問題とされているのはオブジェクト指向ではなくクラス継承
これは実装継承となるアンチパターンなので使ってはいけない

**デフォルトの名無しさん** · 2024/02/10(土) 22:00:16.03

>>612
ここはRustスレで継承問題はクラス機能ごと排除することでとうに解決されているんだがなんで継承問題を擦ってるんです？

**デフォルトの名無しさん** · 2024/02/10(土) 22:03:08.49

みんながRustを使えば解決だね

**デフォルトの名無しさん** · 2024/02/10(土) 22:07:13.96

一部のRust信者の布教活動がひどかったせいで他スレ住人からさんざんヘイトを買い
普通のRust使いもクソどうでもいいこだわりを押し付けられるばっかりで
有益な情報が集まらないと判断しここを見限った

結果、ここが雑談部屋になることを止めようという勢力はRust信者だけになってしまった

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

今どきRustだけしか使えない実装屋なんているわけなくて他の言語の雑談がちゃんと通じるからなにも問題ない
バイリンガルプログラマな姿こそ実装屋が目指すべきところ

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

べつに実装継承でもそれ自体が問題ってわけではない。
実装継承が依存を強める (密結合) といったって実際に依存があるものが依存するのは当たり前だし仕方がない。
ただ問題なのは事前に適切な設計をすることもまた出来ないという現実があるってことだ。
プログラムを書き進めたら思ってのと違うかったというときに強固な依存があると軌道修正がしんどい。

**デフォルトの名無しさん** · 2024/02/10(土) 22:26:31.80

継承は廃れた技術だから議論する意味がない
関心の分離を意識したプログラミングをしていこう

**デフォルトの名無しさん** · 2024/02/10(土) 22:29:03.46

>>613
前にこのスレで話題になってただろ
Servoではポインタを使って無理矢理DOMの継承を実装してるとかなんとか

**デフォルトの名無しさん** · 2024/02/10(土) 22:30:28.98

>>619
なにそのアンチパターンww
俺らはこれを反面教師として頑張ろうな

**デフォルトの名無しさん** · 2024/02/10(土) 22:42:16.36

>>604
手続き型には関数とデータ構造がある
関数しか(抽象化され)ないというのはオブジェクト指向の視点からそう見えるだけだ

**デフォルトの名無しさん** · 2024/02/10(土) 22:56:15.78

関数型言語が言う関数ってのは数学用語の関数のことで、
引数と評価結果の関係で表現される。
C とか Rust とかがいう関数のことではないよ。
関数とは呼ばれていても値を返すサブルーチンであって関数ではない。

**デフォルトの名無しさん** · 2024/02/10(土) 22:57:32.43

いやマジレスすなw

**デフォルトの名無しさん** · 2024/02/10(土) 23:01:02.32

Deref使った継承もどきは委譲と変わらんよ

継承が敬遠されるのは変数、関数単位でfinalとかsealedで修飾したりprivate/protectedを使い分けないと
基底クラスで満たすべき不変条件を継承クラスでぶっ壊されてしんどいって話だから
基底クラスをブラックボックスで抱えて公開機能だけをそのまま公開する形なら全部委譲してるのと同じ

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

正しい責任転嫁と悪い責任転嫁を区別するのが面倒臭いと思えば全部委譲でいい
正当化が必要と感じる人には継承が必要なのだろう

**デフォルトの名無しさん** · 2024/02/11(日) 08:17:40.00

委譲やるよりインターフェースで共通項をもたせてポリモーフィズムできるほうがスッキリ実装できる

**デフォルトの名無しさん** · 2024/02/11(日) 08:28:38.26

インターフェースでやるときこそ委譲の使いどころでは？
データレイヤーでのインターフェースRepositoryのImplからDataSourceの各メゾットを呼び出すのはまさしく委譲の考え

**デフォルトの名無しさん** · 2024/02/11(日) 09:33:37.86

オブシコ＝オブジェクト指向
で使ってるとやっとわかった。「あたしこ」の「しこ」かと勘違いして訳がわからなかったよ。

**デフォルトの名無しさん** · 2024/02/11(日) 09:47:23.19

>>627
レポジトリはドメインレイヤーがやるところでしょ

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

>>627
delegationとforwardingの区別が付いてないね

**デフォルトの名無しさん** · 2024/02/11(日) 12:18:42.79

ここで数学用語ではなく、学校では評価されない用語を使うのがオブジェクト指向

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

オブジェクト指向の良い所は真に賢い人は真面目に勉強しないしょうもなさと多彩な用語の数にある

だからオブジェクト指向言語を勉強した人間は真に賢い人間と競合することなくマウントを取ることが出来るようになる

**デフォルトの名無しさん** · 2024/02/11(日) 13:30:06.52

>>627
それは委譲ではない
継承と委譲とインターフェースは違うもの

**デフォルトの名無しさん** · 2024/02/11(日) 14:12:49.22

自分の使っている用語の定義に無頓着な人が賢いwとか有り得ない

**デフォルトの名無しさん** · 2024/02/11(日) 14:28:55.59

>>634
“賢い”の定義が違うんだろ
察してやれ

**デフォルトの名無しさん** · 2024/02/11(日) 14:35:31.96

定義を後出しすることに罪悪感がない人はたぶんもっとリアルな悪を見慣れている

**デフォルトの名無しさん** · 2024/02/11(日) 15:00:23.67

Rustにはインターフェースは無くて型クラスはある
型クラスを推してけ

**デフォルトの名無しさん** · 2024/02/11(日) 15:56:01.57

>>634
その用語、定義ありませんよｗ
君が勝手に思い込んでるだけｗ

**デフォルトの名無しさん** · 2024/02/11(日) 16:06:16.13

オブシコ用語って掛け算順序界隈の主張する「等分除と包含除」とかの仲間だよね

**デフォルトの名無しさん** · 2024/02/11(日) 16:16:18.76

>>639
(^_^)ﾉ

**デフォルトの名無しさん** · 2024/02/11(日) 16:21:31.17

時代はオブシコではなく関数型プログラミング
オブシコは時代遅れ
例えば機械学習は関数型プログラミングやってる

**デフォルトの名無しさん** · 2024/02/11(日) 16:24:12.02

>>637
型理論においてはどちらも同じ

**デフォルトの名無しさん** · 2024/02/11(日) 16:30:25.25

なんかみんな単発だからレスバできないなあ

**デフォルトの名無しさん** · 2024/02/11(日) 20:46:34.90

RustがJSを滅ぼしてくれるのはいつになるかいのう……

**デフォルトの名無しさん** · 2024/02/11(日) 21:26:37.41

まず先にDOMを滅ぼしてくれないとRustがウェブを乗っ取れない
DOMがJS依存すぎる

**デフォルトの名無しさん** · 2024/02/11(日) 21:51:44.10

DOMはJSに依存しないしいろんな言語のインターフェースがあるが。

**デフォルトの名無しさん** · 2024/02/11(日) 22:42:14.41

>>646
肝心のWasmにDOM操作を許可しないんじゃ意味ない

**デフォルトの名無しさん** · 2024/02/11(日) 22:47:25.71

>>647
DOM操作自体はwasmでもできるぞ
オーバーヘッドが大きすぎて遅いだけ

**デフォルトの名無しさん** · 2024/02/11(日) 22:56:40.04

>>648
Wasmから直接DOM操作は不可能
JavaScriptにやってもらうしかない
つまりJavaScriptしかできない

そのため単純なDOM操作だとJavaScriptが有利だが
Wasmで何らかの処理をしつつのDOM操作だとWasmが勝つことが増えていく

**デフォルトの名無しさん** · 2024/02/11(日) 23:09:37.71

自演ええて

**デフォルトの名無しさん** · 2024/02/11(日) 23:36:32.19

>>649
645だけど、だからDOM自体が欠陥品なんだって
JS依存の現状から脱却するにはDOMに変わるものが必要

**デフォルトの名無しさん** · 2024/02/12(月) 00:40:57.30

tree構造以外である程度の汎用性あるデータ構造なんてないわ。

**デフォルトの名無しさん** · 2024/02/12(月) 01:04:43.36

DOMに文句言ったところで何かが変わるわけじゃないからな
どうでもいい話

**デフォルトの名無しさん** · 2024/02/12(月) 10:19:02.60

>>651
現状JSからしか使えないってのとDOMに欠陥があるかどうかってのは全然別の話だと思うが。

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

>>654
DOMには安全性のためにJavaScriptでしか触れないのは、DOMの出た当初は良かったが、JavaScript以外の言語も幅広く使われるようになった今ではその設計が古くなって欠陥品になってるのは事実

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

DOMの設計と全然関係ない話。

**デフォルトの名無しさん** · 2024/02/12(月) 10:51:22.86

>>653
他人に文句を言うより自分で労働するという正義感は過労死の原因だよ
クレーマーはこの正義感を変えるじゃなくて既に変化した人

**デフォルトの名無しさん** · 2024/02/12(月) 11:07:16.48

domなしでのナビゲーションの方法があってもいいとは思う

**デフォルトの名無しさん** · 2024/02/12(月) 11:08:30.75

いい加減にDOMはXMLをやめようぜ
無駄な構文が莫大な通信ロスを生んでる

**デフォルトの名無しさん** · 2024/02/12(月) 11:23:28.89

>>657
正義感w
自分でコントロールできないこととコントロールできることの判別こそ過労死しないためには最重要なんだけどね

DOMが欠陥品？
で？君はどうしたいんだい？

**デフォルトの名無しさん** · 2024/02/12(月) 11:28:30.41

>>655
昔DOMは他の言語からでも直接触れたがほぼ全て淘汰されてJSだけが生き残った

**デフォルトの名無しさん** · 2024/02/12(月) 11:38:53.51

DOMをゴミと言うのはWindowsをゴミと言ってるのと同等で無駄なこと

**デフォルトの名無しさん** · 2024/02/12(月) 11:41:30.45

やりたいことを先に固定してからそれに合わせて物事をコントロール可能にするという順序は逆にしたい

**デフォルトの名無しさん** · 2024/02/12(月) 13:30:26.12

DOMの代替の候補って存在するのかな

**デフォルトの名無しさん** · 2024/02/12(月) 13:49:21.10

>>662
Windowsはゴミだから個人も仕事からも排除した
しかしネットがWebベースのこの時代にWebブラウザは排除できない
DOMは取り扱わざるを得ない

とはいえRustによるWasmからの取り扱いは以前よりかなり状況が良くなってきている
まずReference Types の導入によりJavaScriptのオブジェクトをそのまま透過的にだがRust(Wasm)側でも持ったり返したりできるようになった
これはJavaScriptグルーコードの削減をもたらしている
さらにGC対応もメモリ管理のうちJavaScript側依存のものの扱いを任せられるようになりRustでも取り扱いが楽になる
Rust側の内部に閉じたデータのみメモリ管理すればよくなるからだ

**デフォルトの名無しさん** · 2024/02/12(月) 15:41:26.64

デザインパターンはあくまで定石集なんだから、Rust用のデザインパターン作ればいいだけの話。
「Rustならこんなに簡単にできる」と自慢できるから、信者にとってもいいことかと。

あと、Rustでダックタイピングできたっけ？事前にTraitで定義しなきゃいけないんだったら面倒だなぁ。

**デフォルトの名無しさん** · 2024/02/12(月) 15:46:26.73

デザインパターンって簡単に実装できるとか
自慢するたぐいのものだっけ？

**デフォルトの名無しさん** · 2024/02/12(月) 15:55:33.33

単発NG推奨

**デフォルトの名無しさん** · 2024/02/12(月) 15:56:29.31

ドメインまわりをフレームワークと分離させる設計ならなんでもいいや
今後リファクタリングすることを考えた設計が大事

**デフォルトの名無しさん** · 2024/02/12(月) 15:56:34.13

ここはRustスレです消えてください

**デフォルトの名無しさん** · 2024/02/12(月) 16:00:10.23

>>666
ダックタイピングは動的型付け言語のためのオモチャであり
デメリットも多いためまともな言語はダックタイピングを排除して別の形を取っている
ダックタイピングは規律のない無政府状態であり可読性も下げデバッグもしにくくなり最悪となる
もちろん実行時の動的型付けの問題もはらんでおり自然の静的なチェックができない

**デフォルトの名無しさん** · 2024/02/12(月) 16:11:47.85

ダックタイピングというゴミのような方法に対して
Rustはダックタイピングを採用せずに代わりに完璧な方法を用意した
それがtraitのrequired methodsとtrait boundsである
この二つにより全てを解決している

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

ダックタイピングなんて荒業ではなく、ポリモーフィズムをやりましょ

**デフォルトの名無しさん** · 2024/02/12(月) 16:23:13.06

>>664
ない。結局まともに使えるものを用意しようと思えばああなる。
それも理解せずに馬鹿みたいに文句言ってるだけだわな。

**デフォルトの名無しさん** · 2024/02/12(月) 18:20:41.31

>>667
繰り返されれば飽きる
繰り返されないのはパターンではない

**デフォルトの名無しさん** · 2024/02/12(月) 18:37:22.53

>>671
GoやTypeScriptみたいな静的片付け言語でもダックタイピング採用してるよ
nominal/structuralと動的/静的は直交

**デフォルトの名無しさん** · 2024/02/12(月) 18:47:33.19

Goは実行時にランタイムが動的にvtableを生成してメソッドlookupするわけだから
静的ではないでしょ？
そんなことはC++やRustでは許されない行為だよ

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

>>676
TSはanyで型が消えてるときの話じゃないの？

**デフォルトの名無しさん** · 2024/02/12(月) 20:01:03.19

誰も定義の擦り合わせをしないのでどんどん意思疎通が困難になっていく

**デフォルトの名無しさん** · 2024/02/12(月) 20:07:14.69

一言居士の群れ

**デフォルトの名無しさん** · 2024/02/12(月) 20:21:22.17

ダックタイピングは一見するとお手軽に見えるけどプログラミング開発の足を引っ張る悪
Rustは排除しているので大丈夫
そしてRustではトレイト境界により確実に使えるものだけを呼び出せることを静的に保証しつつ用いる

**デフォルトの名無しさん** · 2024/02/12(月) 20:24:19.09

現代はデザインパターンで設計するんじゃなくフレームワークで作る時代だけどな