[過去ﾛｸﾞ]
Rust part24 (1002ﾚｽ)
Rust part24 http://mevius.5ch.net/test/read.cgi/tech/1716759686/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
707: デフォルトの名無しさん [sage] 2024/07/10(水) 01:13:16.99 ID:1XduDtMr >>688 >>679の言う「LSPが対象としている遺物における諸問題に悩まされずに済むように」するためには必要なんだよ。 LISKOVのA behavioral notion of subtyping でも「include exception」と言っているだろ。 まぁ、panicが例外にもなれないそびえ立つクソだからRustから排除すべき、と言うなら同意するが。 http://mevius.5ch.net/test/read.cgi/tech/1716759686/707
709: デフォルトの名無しさん [sage] 2024/07/10(水) 01:45:22.45 ID:1XduDtMr >>708 それを言うなら>>682で言っている通り、RustのTraitでLSPに言及するのが大嘘なんだよ。 RustのTraitは同じTraitでも簡単に異なる振る舞いを実装できる(panicみたいな致命的な振る舞い含め)のに、「LSPが対象としている遺物における諸問題に悩まされずに済む」とかの大嘘が出てくるのは何ともアホらしい話。 http://mevius.5ch.net/test/read.cgi/tech/1716759686/709
710: デフォルトの名無しさん [sage] 2024/07/10(水) 02:13:28.47 ID:1XduDtMr >>698 RustのTraitとImplの関係はまさしくsubtypeだしis-aの関係なのにな。「継承しなければsubtypeじゃないしis-aにもならない」と間違って覚えているんかね。 http://mevius.5ch.net/test/read.cgi/tech/1716759686/710
718: デフォルトの名無しさん [sage] 2024/07/10(水) 08:46:54.18 ID:1XduDtMr >>714 だからLSPが対象としている諸問題はRustじゃ解決しないと主張しているんだよ。 >>715 implの実装次第なのに、 「LSPが対象としている遺物における諸問題に悩まされずに済む」と言っているアホが居るのよ。 そんな機能はRustのTrailには無いわな。 >>717 「遺物における諸問題に悩まされずに済む」と言っているアホが居るのよ。しまいにはRustとLSPは関係無いとか言うし。 そんなわけ無いだろと主張している。 http://mevius.5ch.net/test/read.cgi/tech/1716759686/718
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.048s