[過去ﾛｸﾞ] Rust part16 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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使うとできるやつかな？
432(1): 2022/07/22(金)11:30 ID:emgmw9dd(1) AAS
Java厨は出て来ないで下さいうざいだけです
433: 2022/07/22(金)11:34 ID:LVIZaCij(1) AAS
>>429
msとかgoogleとかの狙いはそうだろ。
土方がコーティングしてもバグが入り込まない。
その代わり難易度が上がっているからコーダーの単価上がりそうだけど、msとかgoogleはそんなの気にしないだろうし。
434(1): 2022/07/22(金)13:14 ID:GQh1j6M0(2/2) AAS
>>432
rustの画期的な部分なんだろ？言い返せないのかよダサいなお前
本当に革新的なのは>>423あたりなんじゃないの
435(2): 2022/07/22(金)14:36 ID:ZDp8+ZKO(1) AAS
kumagiとか見てると、google社員でもc++触らせたらあかん奴ってのが結構いるのがわかる。
436(1): 2022/07/22(金)14:59 ID:hnGDX2CP(1) AAS
>>431
Javaのジェネリクスは変な制限が多く
インタフェース指定していって問題があってもコンパイルエラーとならず実行時エラーとなるものがあるなどJavaは論外
他にも問題多すぎてRustに何ひとつ勝てないから新システムを機会にJava→Rustとなったものも出てきている
437(1): 2022/07/22(金)15:43 ID:yLavWCdC(1) AAS
>>434
Ownership/reference自体はc++にもあるからあんまり革新的とは思えないな。
コールスタック&RAIIを中心にしてメモリ管理ルールを再構築して、厄介なヒープメモリの管理をできるだけ避けて高速化しているのが特徴だと思う。
革新的なのはそのルールを徹底していることくらいかと。
438: 2022/07/22(金)17:12 ID:efNbKFVE(1) AAS
安全性とゼロコスト抽象化の制約下で開発効率を高める仕組みを導入していることがRustの特徴だよね
言語仕様や処理系実装上での苦労や工夫はいろいろあるが、それらによって実現される機能自体が目新しいものというわけではない
439: 2022/07/22(金)17:40 ID:whw2xWQR(1) AAS
Rustが発明したのかどうかはしらんけど、Borrow Checkerは他の普通の言語にはない仕組みで、目新しく感じるけどなあ
Borrow Checkerが効かないようなコードを書くんだったらRustを使う意味が感じられないぐらいにはね
440: 2022/07/22(金)17:44 ID:t0V8WW9J(1) AAS
>>436
インターフェースの問題とJavaの問題を混同するのが論外
441: 2022/07/22(金)18:05 ID:K++ItniC(1) AAS
Borrow checker自体は2000年頃のCycloneの時点でほぼできていたっぽい
Rust独自なのは多分shared xor mutableとmove by defaultじゃないかな
442(1): 2022/07/22(金)19:11 ID:yoEBUVfk(1) AAS
>>437
そう。
C++には何でもある。
それが欠点。
必要なものに厳選して誰でも使えるようにしたのがRust。
C++のアイデアとJavaの実用性、二つの遺伝子を組み合わせたのがRust。
ちなみにお母さんがJava、お父さんはHaskellという建前だけど、本当のお父さんはC++。
Haskellさんは、自分の子供だと信じてる。
443: 2022/07/22(金)21:06 ID:UonvlDt9(1) AAS
キモいな
Javaは遺伝子引き継いでないから代理出産に違いない
444(1): 2022/07/22(金)21:16 ID:i57cd+Nw(1) AAS
>>442
javaの立ち位置なんて、無関係な癖に建物の影からチラチラこちらをうかがって変な妄想してる気味悪い知らない奴だよ。
445(1): 2022/07/22(金)21:29 ID:zWgtMzpY(1) AAS
>>435
あの人はプログラミング能力だけの人じゃなくてDBとか分散システムのアルゴリズムが主戦場の人でしょ。
プログラム読み書き堪能に越したことはないけど、そこだけで人を評価するのは視野が狭いよ。
446: 2022/07/23(土)04:53 ID:Yc68YnRu(1) AAS
>>444
意味不明なこと言わないで
上下前次1-新書関写板覧索設栞歴
あと 556 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s