Привет всем.

Гвидо ван Россум, главный разработчик питона хочет ввести опциональную статическую типизацию в python 3.0:

http://www.artima.com/weblogs/viewpost.jsp?thread=85551
http://www.artima.com/weblogs/viewpost.jsp?thread=86641

Мне показались очень интересными некторые его рассуждения, вскрывающие и некторые недостатки статической типизации.