This post originated from an RSS feed registered with Python Buzz
by Ted Leung.
Original Post: Why type annotation is important for Python
Feed Title: Ted Leung on the air : computers/programming/python
Feed URL: http://www.sauria.com/blog/computers/programming/python?flav=rss
Feed Description: Ted Leung on the air: Open Source, Java, Python, and ...
James Robertson
didn't like my idea for a Python type annotator as a MS thesis level Python project. I happen to agree with James' opinion on the value of testing vis a vis discovering type errors. The reason that I think a type annotator is important is that it can be provided as a crutch for those who are used to static typing and are just too afraid to let it go. Once you have a type annotator, it becomes a matter of time before you can demonstrate that programs that pass your test suites also pass the type annotator. Once that becomes routine, you can stop running the annotator. This one is about doing something to get the curly brace people to jump the fence and come on over.
If an annotator makes it easier to geneate IDL or WSDL or whatever, then that's a nice side effect as well.