A good static type system will give you the ability to be able to control the level of dynamism in various parts of you code. For example you could create tagge

A good static type system will give you the ability to be able to control the level of dynamism in various parts of you code. For example you could create tagged unions to create mini dynamic type systems within parts of your codebase.