Re: why people are using the word &quot;dead&quot; regarding code annotations:<p>Without getting into a discussion about the title being clickbaity (I think it is), the paper&#x27;s point is still entirely valid. Yes, you can ignore the annotations for production builds as you point out, but then you don&#x27;t get the soundness guarantees at the edges of untyped and typed code, and that&#x27;s the entire crux of the paper.