Do not let your type system reason about aliasing in your programming language

5 points | by ibobev 5 hours ago