Crystal by Reference: Making freeze() Mean It, Then Making It Fast
A programming language promised that frozen values couldn't change — and didn't keep the promise. The story of finding the holes, fixing them, and then collecting the reward: once immutability is actually enforced, you can stop copying immutable data and just share it. A case study in soundness, hidden bugs, and a 116x speedup, with lessons that apply well beyond one small language.