Thinking about it, that's probably true for all languages with some form of type inference.