News for hackers. Stuff that matters.

A comment on Type Inference That Sticks. Parent comment

Re:Type Inference That Sticks by brundolf on Sunday February 05, 2023 @11:26AM (#34666132)
Lots of IDEs do that for lots of languages these days, and it's wonderful, but I don't think that's the kind of thing they're talking about here in the article
[ Parent | on HN ]
Re:Type Inference That Sticks by IshKebab on Sunday February 05, 2023 @11:43AM (#34666319)
Yeah they're talking about recording the type inferences in the source code. Interesting idea but I feel like it might fall down the same way all "not just text" ideas fall down - the whole coding world is built around plain text. Git, diff, GitHub, IDEs, etc.

Some inferred types in Rust can be pages long. Have fun with those merge conflicts!

[ Parent | on HN ]