If you haven't thought much about type systems but want to understand what the big deal is, I wrote a post specifically for you [1]. It draws motivation for wan

If you haven't thought much about type systems but want to understand what the big deal is, I wrote a post specifically for you [1]. It draws motivation for wanting a good static type system from first principles. [1] http://gilbert.ghost.io/type-systems-for-beginners-an-introduction/ http://gilbert.ghost.io/type-systems-for-beginners-an-introd... (I posted this on a similar story and it was received very well, so I thought I might post it again for those who haven't seen it.)