[過去ﾛｸﾞ]
Rust part24 (1002ﾚｽ)
Rust part24 http://mevius.5ch.net/test/read.cgi/tech/1716759686/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
675: デフォルトの名無しさん [sage] 2024/07/09(火) 13:20:56.23 ID:aoAam1/W >>674 φ(x) のxはオブジェクトと明記されてるのが見えないのかね さらにSはTのサブタイプと明記されている Rustのtrait自体はオブジェクトを持たない さらにtraitを実装する二つの型同士にサブタイプの関係は生じない つまり対象外でφが存在しないため事前条件も何もない http://mevius.5ch.net/test/read.cgi/tech/1716759686/675
676: デフォルトの名無しさん [sage] 2024/07/09(火) 13:35:41.29 ID:YflJELWV >>675 ＞明記されてるのが見えないのかね ＞Rustのtrait自体はオブジェクトを持たない それは「RustのTraitはLSPと関係ない」と言いたいの？ ＞φが存在しないため事前条件も何もない 事前条件も何も表明できないのは「力不足」そのものですな。 http://mevius.5ch.net/test/read.cgi/tech/1716759686/676
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s