The same, presumably...? ;)
In Liskov terms, the facts of the existence of certain methods are inherited properties, but the fact of the object's immutability is not. This is because there's no direct way to encode the fact of immutability in the type system...
-
-
I'm not sure we're talking about the same thing. What you're saying is certainly true, but seems only faintly related to what I'm (poorly) trying to explain. Here, code should remove any potential ambiguity:https://scastie.scala-lang.org/no9l4VL4TrOoN8kQ3eosPg …
-
No, I understood correctly... which means I showed that poorly! Oh dear!
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.