[過去ﾛｸﾞ] Rust part16 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
402(2): 2022/07/21(木)16:58 ID:xy799ZfA(2/3) AAS
>>401
RustのtraitをただのHaskellの型クラスの類似物としてしか認識できないのはお前が単に馬鹿だから
Rustのtraitは本来継承もmixinとも違ったC++のclassより洗練された新たなプログラムの構成要素だっていう側面が理解できていない馬鹿が多すぎる
ただRustではこのtraitという構成要素に実用上の面から今度は型クラスという機能も持たせているというだけで話の順序が違う
こんぐらいRust書いていたらtraitには単に型クラスだけの意義だけじゃないってわかると思うんやがお前にはそういった才能もないただのネット上で繰り返し喧伝されている宣伝にしか注目する脳がないいわばにわかの部類の奴だということがわかった
403: 2022/07/21(木)17:50 ID:eNA5340i(1) AAS
traitの画期的な部分はc++のabstract classで実現できないの？
404(3): 2022/07/21(木)17:54 ID:F7Gtvv1S(1/2) AAS
>>402
何が言いたいのかよくわからないけど型クラスになくてtraitにあるものって何？
associate typeはrustの発明だと思うけど、そういうこと言いたいわけでもなさそうだし
405: 2022/07/21(木)18:07 ID:ySHdWcK4(1) AAS
自分が崇拝する神だけが唯一正しいと妄信して
他人の考え方を徹底的に糾弾排斥するのがカルト
カルト化した人間とまともな議論ができると思うな
406(1): 2022/07/21(木)18:19 ID:xy799ZfA(3/3) AAS
>>404
公式サイトにすら出典付きで載ってあることなんだけどなんでここで聞くの？
繰り返しになるがtraitの型クラス以外の側面に気づけないのはお前が単に馬鹿なだけ
407(2): 2022/07/21(木)19:01 ID:HGs+QJMA(1) AAS
>>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.
408(1): 2022/07/21(木)19:15 ID:F7Gtvv1S(2/2) AAS
>>407
traitの方が表現力低いって言ってるじゃねーか
409: 2022/07/21(木)20:10 ID:SY914jbi(1) AAS
レスバスレ使ってくれませんか？
410(1): 2022/07/21(木)20:48 ID:rGFlKcYB(1) AAS
>>407
それURLがprevで始まっているように古い情報ページ
わざわざそれを出すのは何か意図がある？
411: 2022/07/21(木)21:43 ID:vaotA28G(1) AAS
>>408
正しい情報を啓蒙するのは面倒だということを知らしめる意図じゃない？
412(2): 2022/07/21(木)21:59 ID:vJeGD7jb(1) AAS
>>404
Rustのトレイトは
トレイト境界を実装で指定できるだけでなく
トレイト境界を型宣言でも指定できるなど
様々な点で型クラスと異なるよね？
413: 2022/07/21(木)22:56 ID:crFoTo11(1) AAS
幽霊型🥺
414: 2022/07/21(木)23:06 ID:XUR5FORi(1) AAS
>>404
associated typeもhaskell由来
415: 2022/07/21(木)23:56 ID:vrEITS91(1) AAS
>>412
トレイトに関しては当然Haskellの型クラス由来の部分が多いけど互いに片方にしかないものもあり異なる側面があるわけか
416(1): 2022/07/22(金)00:02 ID:Dec8FkF+(1/2) AAS
>>412
よくわかんないからコードで書いて
417: 2022/07/22(金)00:07 ID:3PGiuxDq(1) AAS
今のところ型システムは完全下位互換だよ
418(4): 2022/07/22(金)00:22 ID:hXBfLf2I(1/3) AAS
>>416
普通のこれだろ
struct Foo<T: Trait1 + Trait2> {
inner: T,
}
419(1): 2022/07/22(金)00:32 ID:/9LzCqck(1) AAS
>>418
これが>>402が言う型クラス以上の意義があるものなの？
420: 2022/07/22(金)00:45 ID:hXBfLf2I(2/3) AAS
402の話は402に聞け
少なくとも>>418は型定義の時点で制約できるから意義がある
421(1): 2022/07/22(金)00:46 ID:Dec8FkF+(2/2) AAS
>>418
-XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
422: 2022/07/22(金)01:09 ID:hXBfLf2I(3/3) AAS
>>421
いきなり何かわからない話を向けられても困る
解説せよ
423(2): 2022/07/22(金)01:43 ID:kvE65+oR(1) AAS
トレイトのどの辺が「洗練された新たなプログラム構成要素」と感じるのか全然分からん
俺の中ではインターフェースと一緒の扱い
Rustが画期的だったのはOwnership/Referenceルール + Borrow Checker
この点に異論ある人はいないよね？
424(2): 2022/07/22(金)02:15 ID:g+hZIhYV(1) AAS
>>423
一般的なインタフェースなんて
Trait Boundsもimpl Traitもdyn Traitもないゴミ
>>419
その点でも差異があるだけでなく
Rustのトレイトは基本概念こそHaskellの型クラスと同じだがそれ以外は各々の言語に適応してかなり異なる
425(1): はちみつ餃子 ◆8X2XSCHEME 2022/07/22(金)03:26 ID:fX2QhDiX(1) AAS
>>424
そりゃ言語に合わせて変えるところがあるのは当たり前だが、
基本概念が同じだというなら類似物ではあるだろう。
カテゴリ分けしたらおおよそ同じところに分類するよ……。
426: 2022/07/22(金)03:47 ID:u1/oKmBi(1) AAS
>>425
それは違うのではないかな
例えばHaskellはRustのtraitでのdyn(動的解決)とimpl(静的解決)といった重要な基本概念を欠いているよ
427(1): 2022/07/22(金)05:52 ID:FhKnOINS(1) AAS
C++の欠点は、何でもできること。
その欠点をなくして、わかりやすくしたのがRust。
バイナリ界のJavaと言い換えても良い。
ほとんどのプログラマはC++よりRustを使うほうが良い。
428: 2022/07/22(金)08:04 ID:FDKNW5k7(1) AAS
>>410
だから最新情報に誘導しろよ。
無能か？
429(1): 2022/07/22(金)09:31 ID:8cs6kRrX(1) AAS
>>427
これからRustはIT土方専用言語になっていくんだろうなあ
430: 2022/07/22(金)09:55 ID:aK9LU/qI(1) AAS
>>424
>一般的なインタフェースなんて
>Trait Boundsもimpl Traitもdyn Traitもないゴミ
言語化できてないから本質を理解できていように見える
Trait Boundはジェネリック型の型制約で一般的なインターフェイスも型制約として機能する
一般的なインターフェイスは動的ディスパッチなのでdyn Trait相当
impl Traitがmonomorphizationのことを言ってるならそれはTraitの機能じゃなくGenericsの機能
C++で20年前から使えるよね？
C++以外でもSwiftみたいに一部の言語はGenericsのspecialization機能があるけど一般的にはオーバーロード使ってstatic dispatchにすることが可能
431(1): 2022/07/22(金)10:57 ID:GQh1j6M0(1/2) AAS
>>418
javaのgenericsでextends使うとできるやつかな？
上下前次1-新書関写板覧索設栞歴
あと 571 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s