Eloquently sums up my feelings about the disadvantages of dynamic typing

[bearophile]

Dicebot:

> Adding negation for most common ones will make it at least 
> tolerable without any major language changes.

I suggest to stop applying patches over patches over problems, 
and instead adopt a more principled approach to solve problems. 
The ideas of the Koka language could show a principled way to 
face the problem.

Bye,
bearophile