‹ BackHN Continuity

Thread

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

28 points · 56 comments · ibobev

  1. gus_massa · · focus · HN ↗
    Yep, I wondered that for a few optimizations in Racket. It's harder than it looks, probably something about covariant or contravariant types, I gave up.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.