Written by Eric Normand. Published: January 14, 2014. All sarcasm aside, the above diagram has a kernel of truth. The important thing to note is that the intersection between "Proponents of dynamic typing" and "People familiar with type theory" is very small. In an effort to increase the size of that intersection, I decided to familiarize myself with a little more type theory. I developed an imple