IIRC there are several posts on that blog just obsessing over how awesome static typing is. On the other hand there are probably more people who are ignorant ab

IIRC there are several posts on that blog just obsessing over how awesome static typing is. On the other hand there are probably more people who are ignorant about the value of static typing than that of dynamic typing. Every time this is brought up I always imagine writing a complete library to support a super-type for some static language that has tagged unions and operator overloading such that the user will rarely if ever need to inspect the type tag. And the more I think about this the more I realize you'd get gradual typing on primitives for free.