Strong typing implementation for Python

[John Michael Lafayette]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-list/attachments/20151009/454d9a4f/attachment.html>