Conversation

Joe Groff
@jckarter
I do variations of this in C++ all the time too. Maybe languages with complex enough type systems should have a "raise a diagnostic with the type of this expression" operator and a REPL for the type system
Quote Tweet
Michael Gattozzi
@mgattozzi
·
let x: String = definitely_not_a_string; is my favorite way to figure out actual types for things.
6
43
Esteban K�ber – 🦀⚙️
@ekuber
For the places where `_` isn't syntactically allowed, the Rust compiler will tell you what the type was with an applicable suggestion (very handy for fn return types). Alas, it is allowed in `let x: _ = foo;`
2
11
Rémy Rakić
@lqd
To get Esteban excited about the huge potential of typed holes, all the way up to structured editing and live programming, great work has been done in Hazel/Hazelnut about them hazel.org
2