I would like Python to have a strong typing feature that can co-exist with the current dynamic typing system. Currently Python is like this:
var animal = Factory.make("dog") #okay
var dog = Factory.make("dog") #okay
-- https://mail.python.org/mailman/listinfo/python-list
