Hacker News new | ask | show | jobs
by tmhedberg 4430 days ago
Parametric polymorphism ("generics") and sum types.