6 ms·
Previous discussion on a related paper: https://news.ycombinator.com/item?id=10773457 https://news.ycombinator.com/item?id=10773457 I'm not sure why people kee
by tacos 11y ago
Previous discussion on a related paper: https://news.ycombinator.com/item?id=10773457 https://news.ycombinator.com/item?id=10773457
I'm not sure why people keep using the word "dead" regarding code annotations. They're easily stripped out for release builds and clearly provide value in many debugging and maintenance scenarios. And yes, like everything else in the static vs dynamic debate, there's no free lunch.
- lvh 11y agoRe: why people are using the word "dead" regarding code annotations: Without getting into a discussion about the title being clickbaity (I think it is), the paper's point is still entirely valid. Yes, you can ignore the annotations for production builds as you point out, but then you don't get the soundness guarantees at the edges of untyped and typed code, and that's the entire crux of the paper.