Python3 function annotations for type hinting versus Boo

I've started on a medium-sized project in python, and I decided to use python 3 because I'开发者_开发技巧m not using any large external libraries and py3k has some nice new syntactic sugar and more importantly function annotations. However, it seems like none of WingIDE, Pydev, or pycharm actually have any support for type hinting using function annotations. If I want something resembling static typing in python, is switching to boo a reasonable option?

Boo is a great Python-like statically-typed language, but keep in mind that there more differences than just static typing. Actually you can also do duck typing on Boo.

Technically, I'd say the biggest difference is that Boo runs on Mono/.Net so the libraries and framework are totally different.

SharpDevelop and MonoDevelop both have good support for Boo. There's also a Visual Studio 2010 plugin that adds Boo support. It's still alpha, yet already usable.

You could try with Cython. It is in some way CPython with static typing. See also this link