Re:Why Generics?
by hinkley on Wednesday July 31, 2019 @06:48PM
(#20579405)
No they most definitely are not. One implementation receives a message. The other categorically rejects it. I cannot substitute them.
[ Parent
| on HN ]
Yes, those are the same behavior. Both of them "may" accept it and "may" reject it, and "may" includes both "always" and "never".
It is correct to the letter of LSP, but not the spirit of it, and this was a conscious decision; contrary to your original claim, they understood the principle perfectly well.