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
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!
Some inferred types in Rust can be pages long. Have fun with those merge conflicts!