Next step after pychecker

[Diez B. Roggisch]

> But it can be useful to restrict type variety in certain situations
> e.g. prime number calculation :) And it would probably also be useful
> to check violations of restrictions before running the program in
> normal mode.

But that's what (oca)ml and the like do - they exactly don't force you to
specify a type, but a variable has an also variable type, that gets
inferned upon the usage and is then fixed.

-- 
Regards,

Diez B. Roggisch