Global variables are divisive: an invaluable shortcut or a dangerous example of sloppy code? Let's talk about what they do, ...

In Java Futures at QCon New York ... Other languages pursue a more global approach to type inference, considering all uses of the variable before attempting to solve for its type.