Eloquently sums up my feelings about the disadvantages of dynamic typing

[bearophile]

PauloPinto:

> The problem, which I know well from other languages with 
> annotations, is that eventually you reach annotation hell, 
> specially in the enterprise world.

There are research papers that explore the algebra of effects, 
and also contain better syntax and some better inference. With 
such ideas the control of those effects seems to improve.

Bye,
bearophile