Hacker News new | ask | show | jobs
by Dewie3 4023 days ago
Typing in the Haskell et. al. tradition don't like subtyping. And they also like their parametericity.