PEP 3107 and stronger typing (note: probably a newbie question)

[tony.theodore at gmail.com]

On Jun 21, 4:53 am, Stephen R Laniel <s... at laniels.org> 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/