Thread

Why isn't mutable a subtype of immutable, or vice versa?

28 points · 56 comments · ibobev

zkmon · 1789885117 · focus · HN ↗
The fact that it requires so much explanation, indicates the level of degradation in the reasoning ability of the audience. A value of a subtype shall deliver all of the expectations of its super type, because it is wearing both the hats of super type and sub type.
1. Shorel · 1789886069 · focus · HN ↗
  Not all all. It merely indicates that this is an strict logic approach to the topic.
  <a href="https://commonplacefacts.com/2022/07/27/principia-mathematica-300-page-proof-one-plus-one-equals-two/" rel="nofollow">https://commonplacefacts.com/2022/07/27/principia-mathematic...
  1. zkmon · 1789890314 · focus · HN ↗
    If the article is written for human consumption, then it fails the primary goal (or logic?) of being useful. If a human has to digest a flood of this logic slop just to get convinced about this simple concept, they are not going to be able to do anything useful.

Unofficial Hacker News client; not affiliated with Y Combinator.