これはリスコフ置換原則か？

くっくっkura 🇯🇵🦀 @PG_kura

むぅ、abstract case class が使いこなせない・・・#scala

くっくっkura 🇯🇵🦀 @PG_kura

class A { def func(): Unit = {} } があって class B extends A {} としたとき、B.func を private 化するってできないのかにゃ？ #scala

くっくっkura 🇯🇵🦀 @PG_kura

@backpaper0 お！scala er が起きてる！すみません、お忙しくないならこれ→ http://twitter.com/PG_kura/status/15053549659 についてご存知かどうか返信頂けませんでしょうか？

野比無能丸 @cknbstr

それできちゃうとリスコフ置換原則が QT @PG_kura: class A { def func(): Unit = {} } があって class B extends A {} としたとき、B.func を private 化するってできないのかにゃ？

くっくっkura 🇯🇵🦀 @PG_kura

あ、NGですかー。普段 C++ 使ってて、そっちでできるもんだから出来たりしないかなーと思って post したです。ありがとうございます！RT @cknbstr: それできちゃうとリスコフ置換原則が QT @PG_kura: class A { def func(): Un...

くっくっkura 🇯🇵🦀 @PG_kura

@backpaper0 すみません、解決しました。不可でした。夜分失礼いたしました。

梶本裕介 @uskz

@cknbstr 可視性の判断と実装の選択が分離されてるならLSPには違反しないのでは？

くっくっkura 🇯🇵🦀 @PG_kura

@backpaper0 C++ ではできてしまいます。Java はこういう C++ の甘いところ(他に検査例外とか)をきれいにした印象ですよね。出来ない方が自然だと思います。

梶本裕介 @uskz

@cknbstr a.func()があったとして，可視性がaの型から静的に決定するとしたらfuncは呼出可能，そして実行時にaがBのインスタンスに動的に束縛されていれば，Bのfuncの実装が使われる，と．

梶本裕介 @uskz

@cknbstr で，Bのfuncの実装の事前条件がAのfuncのものと等しいかより弱く，事後条件が等しいかより強ければ，LSPには違反しないんじゃないですかね

くっくっkura 🇯🇵🦀 @PG_kura

@uskz def callFunc( val a: A ) = a.func(); というプログラムがあったとして、B extends A ならばこのプログラムは def callFunc( val a: B ) = a.func(); と置換できる、というのが LSP でわ？

くっくっkura 🇯🇵🦀 @PG_kura

@uskz この例では、ですが。

梶本裕介 @uskz

ぎゃーScalaの構文がまったくわからない

くっくっkura 🇯🇵🦀 @PG_kura

失礼ww http://ideone.com/6scLC の「ここから」「ここまで」の部分は、A extends B であるなら a = new B(); b.func(); と置換できるのが LSP ではないかと。 RT @uskz: ぎゃーScalaの構文がまったくわからない

梶本裕介 @uskz

@PG_kura あれ？class B : A { }; A a; B b; f(A& x); とあった時に，f(a)をf(b)としても正しく動作しないといけないってのがLSPじゃありませんでしたっけ？

くっくっkura 🇯🇵🦀 @PG_kura

@uskz ん～、それは LSP に含まれるのかどうか・・・正直自信無いですねー。しかしここ http://bit.ly/2L5g9E を見る限り先の僕のやろうとしたことは違反になるかと。

くっくっkura 🇯🇵🦀 @PG_kura

@uskz その URL の斜線部分の q が、この場合「func が呼び出し可能である」にあたるかと。

梶本裕介 @uskz

@PG_kura What is wanted here is something like the following substitution property: If for each object o1 of type S there is an object o2

梶本裕介 @uskz

@PG_kura of type T such that for all programs P defined in terms of T, the behavior of P is unchanged when o1 is substituted for o2

梶本裕介 @uskz

@PG_kura then S is a subtype of T. -- Barbara Liskov, “Data Abstraction and Hierarchy,” SIGPLAN Notices, 23,5 (May, 1988).

くっくっkura 🇯🇵🦀 @PG_kura

@uskz すみません、僕英語ちゃんと読めないですwww

梶本裕介 @uskz

ぎゃーこのパソコンGhostscriptとか入れてない＞＜

くっくっkura 🇯🇵🦀 @PG_kura

いや、冒頭の日本語の部分だけでいいです。RT @uskz: @PG_kura おっとこの1999年の読めばいいのですね

梶本裕介 @uskz

@PG_kura インターフェースの可視性が派生先でpublicからprivateに変更されて http://twitter.com/PG_kura/status/15055433392 のa = new A();をa = new B();に置き換えても，可視性の決定と（続く