Type systems : a new campaign for functional programming rebels without a cause | Hacker News Reader