Artikkelen tar for seg hvorfor programmeringsspråk sjelden lar muterbare typer regnes som subtyper av uforanderlige typer, og går inn i de type-teoretiske årsakene til dette.

Kilde: https://crumbles.blog/posts/2026-09-17-immutable-mutable.html