On Wed, Jul 18, 2012 at 12:23 AM, Lipska the Kat <lip...@lipskathekat.com> wrote: > Well 'type-bondage' is a strange way of thinking about compile time type > checking and making code easier to read (and therefor debug) but > I'm not about to get into some religious war about declaring a variables > type.
There are options for that, but they aren't Python. (I'd like to see a "from __future__ import variable_declarations", but it doesn't seem to work. Yet.) If you're interested, I could tell you about a language that has a lot of what you're looking for (including polymorphism and even the ability to declare a variable that can contain "non-negative integer" as a type), but it's off-topic for the forum. However, I can't email you, as lipskathekat.com doesn't seem to exist... Email me privately if you're interested, we can continue the discussion off-list. ChrisA -- http://mail.python.org/mailman/listinfo/python-list