> Nothing demonstrates this better than any time you've written code yourself only to immediately invoke the IDE tooling to inspect what the type is. Nit sayin

> Nothing demonstrates this better than any time you've written code yourself only to immediately invoke the IDE tooling to inspect what the type is. Nit saying you arr wrong, but i just eant to point out that this happens even in languages like Java 8 which have no local type inference. Any time you chain a method from another method, you are skipping a type. Ditto for inferred generic parameters on methods. On the other hand, if you have strong enough types, it doesn't matter as much... if you don't know what the exact intermediate types are, you can still know it's correct based on the final type and the fact that it compiled, which is enough for a code review imho.