Simon Peyton Jones – Practical linearity in a higher-order polymorphic language | Hacker News Reader