Type systems : a new campaign for functional programming rebels without a cause · HackerTrans