Hacker News new | ask | show | jobs
by simplify 3233 days ago
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-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.)