News for hackers. Stuff that matters.
Re:Rust's 2017 roadmap, six months in by pjmlp on Thursday July 06, 2017 @12:25AM (#14708124)
This is one example where having a REPL would help a lot.

That is how I check such types outside IDEs in other ML derived languages.

Re:Rust's 2017 roadmap, six months in by roblabla on Thursday July 06, 2017 @06:05AM (#14709227)
TBF, you can just do

    let _ : () = /* some expr whose type you don't know */
And compile it. It will quickly fail with a type error, giving you the full type of the expression.
Re:Rust's 2017 roadmap, six months in by pjmlp on Thursday July 06, 2017 @06:51AM (#14709400)
Yeah, but it feels like a kluge, specially when used to F# on Visual Studio.