Is there any application for that, except python?

Right now it's specific to Python but I think there are other languages w/o an official type checker that might benefit.

PHP, Erlang, Ruby, etc.