On Jun 21, 4:53 am, Stephen R Laniel <[EMAIL PROTECTED]> wrote: > Before I ask anything, let me note that this is surely an > old question that has inspired its share of flame wars; I'm > new to Python, but not new to how Internet discussions work. > So if there's a canonical thread or web page that documents > the whole battle, feel free to point me to it. > > Reading [1], I wonder: why isn't the compiler making better > use of (purely optional) type labeling? Why not make a compiler > directive so that > > a) it will check the types of all my arguments and return > values, and maybe even > b) do some type inference up the call stack? >
You might like to look at traits http://code.enthought.com/traits/ -- http://mail.python.org/mailman/listinfo/python-list
