[過去ﾛｸﾞ]
Rust part24 (1002ﾚｽ)
Rust part24 http://mevius.5ch.net/test/read.cgi/tech/1716759686/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
672: デフォルトの名無しさん [sage] 2024/07/09(火) 12:39:43.65 ID:YflJELWV >>668 φ(x) を型 T のオブジェクト x に関して証明可能な性質とする。このとき、φ(y) は型 T のサブタイプ S のオブジェクト y について真でなければならない。 φは主に事前条件・事後条件・不変条件で、言語によっては例外条件も入ってくる。 この観点からはRustのTraitは力不足。なんでLSPを引き合いに出せるのかわからん。 http://mevius.5ch.net/test/read.cgi/tech/1716759686/672
673: デフォルトの名無しさん [sage] 2024/07/09(火) 12:57:46.02 ID:aoAam1/W >>672 自分でそれを書いておいて理解できていないのかよ そこに明記されてるようにTもSもオブジェクトを持つ具体型についての話だ Rustのtraitは具体型ではないため関係ないぞ そしてtraitを実装する各型の間にはサブタイプの関係はないためそこも対象とならない そこを理解できずに「RustのTraitは力不足」とデタラメを吹聴するのは恥ずかしい http://mevius.5ch.net/test/read.cgi/tech/1716759686/673
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.053s