This is an idea that is not ON or OFF You can get ever so gradually stricter with your types which means that the operations you perform on on a narrow type is

This is an idea that is not ON or OFF You can get ever so gradually stricter with your types which means that the operations you perform on on a narrow type is even more solid It is also 100% possible to do in dynamic languages, it's a cultural thing