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/09(土) 22:44:39.49

>>332
Linus含めたLinux開発陣も同じ結論
C++はダメな言語なので不採用
Rustは良い言語なので採用

**デフォルトの名無しさん** · 2022/07/09(土) 22:46:38.67

>>334
歳をとってもうプログラミングしていないん(実質現役引退)だから
Cすら仕事で書いていないだろ

**デフォルトの名無しさん** · 2022/07/09(土) 22:59:01.59

> 287 名前：デフォルトの名無しさん　[sage]　投稿日：2022/07/09(土) 11:50:07.31 ID:lwwTn4Ql [2/3]
> どちらにしてもRust使っても気楽にコーディングできるわけでもなく
> メモリ構造考えなければいけないんですね

読んでなるほどなと思った
よくわかんないけどとりあえず動けばいいという人と、
ちゃんと理解して自分の思う通りに動かしたい人の違いだなと

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

>>335
俺,win使っているが
そのよい言語のRustをコンパイルするのに(C/C++する気ないのに)駄目な言語のmsvcを入れないと
とコンパイルできないてのがな

で、なんでmsvc必要なんだ？
ひょっとしたら、linuxでもgccとかを入れないと駄目なのか

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

>>337
その人があまりにも知識不足の可能性が高い
Rustでも他の言語と同様に(C互換FFIを除いて)メモリ構造なんて公開も保証もしていない
ほとんどのプログラミング言語はメモリ構造なんて低いレベルで使うものではなくもっと抽象度の高い部分でその定義と保証がなされるもの
だからRustでも他の言語と同様にメモリ構造は考えなくて良いし考えてはいけない
メモリ構造は言語として保証していないし保証しないからこそ大胆なコンパイル最適化を行なっている

話を戻してその人はメモリ構造ではなくデータ構造と言いたかったのではないか？
データ構造は他の言語と同様にRustでも考えなければならない
それがプログラミングの中心だから

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

>>338
そんなこと知らずに、そういうレスしているところにドン引きだな
自分で調べた？
調べたら、その結果をここで報告よろしく

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

>>338
Rust批判派があまりにも知識不足で驚いた
ちなみにこちらはLinuxだがrustc(＝Rustコンパイラ)だけあればコンパイルできる

**デフォルトの名無しさん** · 2022/07/10(日) 00:12:02.83

>>339
SwiftとかABI stabilityを実現してるやつは仕様としてメモリレイアウトを定義して公開してるやろ

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

>>341
["rust linker cc not found"] [検索]

**デフォルトの名無しさん** · 2022/07/10(日) 00:16:59.60

まあ>>287の書いてるメモリ構造という言葉はメモリレイアウトでもデータ構造でもないのは明らかだけどな

**デフォルトの名無しさん** · 2022/07/10(日) 00:18:51.99

隔離スレ復活させないとノイズだらけできつくなってきた

**デフォルトの名無しさん** · 2022/07/10(日) 00:30:08.21

>>342
そのABIはコンパイル後のバイナリのフォーマットの話だぜ
今回の『気楽にコーディングできるわけでもなくメモリ構造考えなければいけないんですね』はプログラミングの際の話だから関係ない

プログラミングする上でメモリ構造は考えなくていい
例えばRustの型VecやStringなども各々のがどんなメモリ構造になるかは規定も公開もない
もちろんソースコードを読めば内部のデータ構造までは分かるがそれに依存してコードを書いてはいけないし依存できないよう抽象化されたインタフェースのみ規定公開されている

**デフォルトの名無しさん** · 2022/07/10(日) 00:33:22.94

>>345
同感
アンチ活動は別のスレでやってほしい
ここ本スレでやるのはマナー違反だと思う

今後Rustへのアンチ活動は以下のスレへ書くこと
Rustアンチスレ
https://mevius.5ch.net/test/read.cgi/tech/1509028624/

**デフォルトの名無しさん** · 2022/07/10(日) 01:01:37.00

複オジに絡んだ俺がバカだったわw

**デフォルトの名無しさん** · 2022/07/10(日) 01:02:48.63

>>343
なるほど、
>341
>ちなみにこちらはLinuxだがrustc(＝Rustコンパイラ)だけあればコンパイルできる
は、比較的新しいrustを使えばgcc(リンカ)イラネってことか
rustでリンカ作った方がgccのリンカよりずっと良いものになるだろうからな

**デフォルトの名無しさん** · 2022/07/10(日) 01:09:37.70

https://mevius.5ch.net/test/read.cgi/tech/1657382429/

隔離対象をアンチに限定しない汎用隔離スレ立てた
もう全部こっちでやってくれ

**デフォルトの名無しさん** · 2022/07/10(日) 01:48:41.75

>>350
おまえ低能だな
そんな内容と設定ではそのスレは過疎って終わることくらい予測できるだろ？

**デフォルトの名無しさん** · 2022/07/10(日) 04:45:49.56

荒らしてるのはLinux板の連中か。

**デフォルトの名無しさん** · 2022/07/10(日) 08:32:10.98

Cellを使っていて思ったんだが例えば

trait CellUpdateWith<T> {
fn update_with(&self, f: impl FnOnce(&mut T));
}

impl<T: Default> CellUpdateWith<T> for Cell<T> {
#[inline]
fn update_with(&self, f: impl FnOnce(&mut T)) {
let mut inner = self.take();
f(&mut inner);
self.set(inner);
}
}

このようにメソッドupdate_with()を用意しておけば
内部更新もわかりやすく記述できるな

let foo = Cell::new(vec![1, 2, 3]);
foo.update_with(|v| v.push(7));

身代わりにself.take()でdefault値を入れてCellから取り出し
self.set()でCellへ戻すという無駄な操作は最適化で消えるようだ
https://godbolt.org/z/19c4EbErG

**デフォルトの名無しさん** · 2022/07/10(日) 12:00:25.54

>>351
それをわざと狙ってんだろうなww
いかにもやりそうなこと

**デフォルトの名無しさん** · 2022/07/10(日) 13:59:32.22

>>354
この手の人は自分が排除されることを最も恐れてるんだよ
そうならないための策ならなりふり構わず何でもやる

自分が排除される側にいる自覚がなければそんなことやらない

**デフォルトの名無しさん** · 2022/07/10(日) 19:54:18.59

>>308
糞言語で自意識過剰の公開オナニーをする信者、マジきもい

**デフォルトの名無しさん** · 2022/07/10(日) 23:37:14.97

>>308
プログラミング言語界に大革命をもたらした画期的な言語だな

**デフォルトの名無しさん** · 2022/07/11(月) 00:14:06.35

15年近くc/c++触ってなくて(ずっとjava触ってた)
rustの所有権とか何故こんな仕様になったのか経緯がわからなくて
最近のc11以降の仕様の？unique_ptrとかshared_ptrとかstd::moveとかstd::forward学んで
(元々boost にスマートポインタがあった記憶があるけど記憶が曖昧)
どうしてこう言う機能が出来たのか少しわかった

今のc++はconst 地獄だしとにかくコードが汚くなる
こりゃrust の方が良いわ

あと型名の付け方が好き。u32とかf32とか
昔cで書いてた頃typedefでわざわざ定義してたよ

**デフォルトの名無しさん** · 2022/07/11(月) 10:40:05.73

const 地獄 ← 判る
static_cast うぜー ← 判る
Rust 万歳 ← 判らん

**デフォルトの名無しさん** · 2022/07/13(水) 23:59:24.88

>>353
もっと便利にできるぜ

use std::cell::Cell;

trait CellWithMethod<T> {
fn with<R>(&self, f: impl FnOnce(&mut T) -> R) -> R;
}

impl<T: Default> CellWithMethod<T> for Cell<T> {
#[inline]
fn with<R>(&self, f: impl FnOnce(&mut T) -> R) -> R {
let mut inner = self.take();
let result = f(&mut inner);
self.set(inner);
result
}
}

fn main() {
let foo = Cell::new(vec![1, 2, 3]);
foo.with(|v| v.push(7));
assert_eq!(4, foo.with(|v| v.len()));
assert_eq!(7, foo.with(|v| v[3]));
assert_eq!(vec![1, 2, 3, 7], foo.with(|v| v.clone()));
}

**デフォルトの名無しさん** · 2022/07/15(金) 21:39:01.85

>>360
CellでVec使えるのか
何か間違って学習していた

https://qiita.com/wada314/items/24249418983312795c08
＞ 1. Cellの中身の型はCopyをimplしていなければならない

https://dev.classmethod.jp/articles/rust-smart-pointer/
＞・Cellの中の型はCopyトレイト実装が必須

https://qiita.com/usagi/items/fc329895cebd3466910e
＞ Cell は値の "移動" によって内部可変性を実装するため <T> は Copy 可能な "値" 向けのコンテナーで、
＞ i32 や Copy trait を実装した何かを扱うのに"適した"コンテナーです。

https://zenn.dev/mebiusbox/books/22d4c1ed9b0003/viewer/5df75e
＞ Cell<T> の大きな制約として， T は Copy トレイト境界があることです．

実際にはCellはCopyを要求していない
やってみたら>>360のコードが動いてCell<Vec<_>>が使えた

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

#[derive(Clone)]のコーナーケースに遭遇した
https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=487e64c7c762fb0e015e1bc9b1267fbd

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

やっぱりrustcはバグが多いね

**デフォルトの名無しさん** · 2022/07/15(金) 23:12:58.85

>>362
標準ライブラリのderiveは型パラメータに無条件にトレイト制約課すようになってるから
derivativeみたいな制約を自分で指定できるcrateを使うと良いよ
https://github.com/mcarton/rust-derivative

**デフォルトの名無しさん** · 2022/07/16(土) 00:28:56.56

>>361
get()がCopyを要求するからってのもあるけど
古いThe BookにはCellはCopy専用・RefCellはCopy以外も使えるという説明があったので
それが日本語訳とかで残ってたんじゃないかな

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

>>360
!Syncで参照無しならデータ競合を起こさない、という点を使った用法だな
便利だから公式サポートすればいいのにな

**デフォルトの名無しさん** · 2022/07/20(水) 00:26:56.65

StackOverflowで「好きな言語No.1」だそうだが、調査方法に問題が有り、
二位以下も聞いた事が無いような言語ばかり。

**デフォルトの名無しさん** · 2022/07/20(水) 01:36:05.55

>>367
お前の観測範囲が狭いだけ。

**デフォルトの名無しさん** · 2022/07/20(水) 08:04:49.97

CarbonとかいうRustとC++のあいのこみたいなのが出てきた

**デフォルトの名無しさん** · 2022/07/20(水) 12:35:25.82

Carbonは最強言語ぞ

**デフォルトの名無しさん** · 2022/07/20(水) 12:39:05.42

RustがCarbonに勝ててるところが見つからないな

**デフォルトの名無しさん** · 2022/07/20(水) 12:45:18.87

Rust vs Carbonスレ立ててそっちでやれ

**デフォルトの名無しさん** · 2022/07/20(水) 13:30:14.44

このスレにはRust好きの愚民がたくさんいるようですね。
Carbonさん、やっておしまいなさい

**デフォルトの名無しさん** · 2022/07/20(水) 13:30:16.81

このスレにはRust好きの愚民がたくさんいるようですね。
Carbonさん、やっておしまいなさい

**デフォルトの名無しさん** · 2022/07/20(水) 14:11:36.68

1.0が出てからにしてください

**デフォルトの名無しさん** · 2022/07/20(水) 14:52:25.57

CarbonとRustは名称の紛らわしさではどっこいどっこいだな

**デフォルトの名無しさん** · 2022/07/20(水) 14:54:39.84

ほーん
https://github.com/carbon-language/carbon-lang

**デフォルトの名無しさん** · 2022/07/20(水) 17:02:14.65

とりあえずcarbon自体のコードの8割がcarbonで書かれるエコシステムが確立してからだろう

**デフォルトの名無しさん** · 2022/07/20(水) 19:50:56.65

JSのTypeScript
C++のCarbonって感じかね

どうなるんだろうね
確かにC++を無くすのは勿体ないがまだ0.1かいつ1.0になるかなぁ 10年後くらいか
Rustよりも難しくはなくメモリ管理も楽になるのかな

**デフォルトの名無しさん** · 2022/07/20(水) 20:00:37.08

Rustはあらゆる面で安全と高速の両立する抽象化を実現した言語だから
現在のCarbonのドキュメントを見る限りRustの領分に入ってきていないでしょう
それよりもC++と書き方がかなり変わっていて互換性がなく別言語の様相でCarbonは中途半端な立ち位置に見える

**デフォルトの名無しさん** · 2022/07/20(水) 20:01:46.68

Carbonは「Rustが難しすぎるから簡単にしたい」とは言ってなくて、C++と相互運用できる言語を目指してるだけっぽいからなぁ
結果的にRustより難しくなっても驚かないけど

**デフォルトの名無しさん** · 2022/07/20(水) 20:33:50.16

そもそもCarbonの使い所ってC++のレガシーコードが大量にあるところだから
C++も当然マスターしてないといけなくて、学習量は明らかに増えてる気もする

**デフォルトの名無しさん** · 2022/07/20(水) 20:52:36.69

ドラゴンボールのゲームでドドリアの色違いでカーボスと言うのがいたのを思い出した

どちらかと言うとザーボンの色違いがカーボスなら納得なんだけど…

**デフォルトの名無しさん** · 2022/07/20(水) 21:27:24.19

Carbonって中途半端すぎね？
まともな言語設計者ならオブジェクト指向もう採用しないと思うんやけどなんか継承機能もあるみたいだし
なんでこういう中途半端のところもC++参考するんだよこういうところこそRust参考にしろよ

**デフォルトの名無しさん** · 2022/07/20(水) 21:44:56.66

>>384
C++とシームレスに相互運用することが最優先課題だから、そこはC++と同じにしておかないとそもそも存在意義がなくなる

**デフォルトの名無しさん** · 2022/07/20(水) 22:16:07.31

ま、2-3年後にどうなってるかだな
バックにGoogleいるらしいから開発終了なんてことはなさそうだが

**デフォルトの名無しさん** · 2022/07/20(水) 22:21:24.71

>>386
逆じゃね？企業だからこそ開発者の熱意とか関係なくコストに見合わないとなれば容赦なく切られるかと
Goみたいに社内で使うことが確定してしまえば安泰だけど

**デフォルトの名無しさん** · 2022/07/20(水) 22:28:16.35

SDGsの流れ的にCarbonは使われなくなる運命

**デフォルトの名無しさん** · 2022/07/20(水) 22:43:27.67

なる、元素記号Cからの名称か

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

5年たったらまたオブジェクト指向が再燃してるかもしれない
と言うか業務では大規模開発にはオブジェクト指向が必須なんだな

モジュールでは全体が見通せない

**はちみつ餃子** ◆8X2XSCHEME · 2022/07/21(木) 00:52:44.62

話題が逸れるが >>384 が C++ の型システムをオブジェクト指向と呼んでるっぽいのが気になる。
オブジェクト指向はオブジェクト同士がメッセージを送りあう形でプログラムを構成する思想のことで、
それを言語機能としてどのように支援するのかには様々なバリエーションが有りうる。
型システムとは独立した概念だよ。
ふんわりした概念なので定義によるが Rust もオブジェクト指向 (をサポートする) 言語に分類されることはある。

それはそれとして、 C++ の型システムもベストとは言えないが最悪というわけでもない。
実際にかなり多くの場面で活用されている実績は認めないといけない。
要するに「この程度で十分」ではあるんだよ。
C++ の本当につらいところは C から引き継いだガバガバさや歴史的事情のワケわからんところであって、
型システムの根本的な改善はそれほど切実に必要だとは思わないな。

C++ が駄目だと否定するんじゃなくて C++ みたいなことを C++ より上手くやるという方向性はアリだろう。

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

話題が逸れるが、...で読む気失せたわ

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

>>391
前半は正しいが
後半のクラス継承システム程度で十分という点には賛同しかねる
今までの現実の多くのケースはクラス継承システムしか使えない環境だったから無理矢理にそれを使っているだけである

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

似たような機能のものを大量に書く場合どのように実装するのが楽かどのように管理するのが楽か

モジュールではないな

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

>>394
その点ではRustもC++も同じオブジェクト指向なので何を主張したいのかわからない

Rustの基本はselfに見られるようにオブジェクト指向
違いはC++がクラス継承なのに対してRustはトレイト
ジェネリックから見るトレイト境界による型制約となり
逆の視点から見るとトレイト付加によるメソッド拡張となる

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

いくらRustが有望だと言われていても、ポインターがないと使いづらい場面ってあるよな
ツリー構造とか、ポインターなしで大して実行速度も落とさず記述する技があるようだけど・・・・大掛かりなことをするのなら労力を割くのもいいけど、ちょっと使うだけには労力がかかりすぎる

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

ポインタあるじゃん

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

>>396
Rustにも様々なポインタがあり
様々な仕様と様々な安全度合いで記述できる

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

>>385
Rustからわかるように、求められているのは膝を打ち抜く自由の無いc++であり、コーダーに使わせる言語。
unsafeはc++で実装すりゃいいので、継承とかは使うだけに限定するという手もある。

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

>>391
話し手がなにをオブジェクト指向の言語としているのかどうか判断する程度の読解力は持ち合わせてくれないかな？
RustはC++のように継承を導入することによってもたらされる問題を回避するためにclassじゃなくてtraitを基本的なプログラムの構成要素として採用することで既存のオブジェクト指向言語と一線を画すというプログラミング言語史に残る進歩を達成していた

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

>>400
Haskellの型クラスの方が先だろ。

「プログラミング言語史に残る進歩」とかさすがに恥ずかしいレベル。

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

>>401
RustのtraitをただのHaskellの型クラスの類似物としてしか認識できないのはお前が単に馬鹿だから
Rustのtraitは本来継承もmixinとも違ったC++のclassより洗練された新たなプログラムの構成要素だっていう側面が理解できていない馬鹿が多すぎる
ただRustではこのtraitという構成要素に実用上の面から今度は型クラスという機能も持たせているというだけで話の順序が違う
こんぐらいRust書いていたらtraitには単に型クラスだけの意義だけじゃないってわかると思うんやがお前にはそういった才能もないただのネット上で繰り返し喧伝されている宣伝にしか注目する脳がないいわばにわかの部類の奴だということがわかった

**デフォルトの名無しさん** · 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あたりなんじゃないの