On: Type checking in Python

[frowaway001]

Scala (although it has limited type inference to require people to specify at least the inputs to methods for readability).