Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Algebraic Data Types. Parent comment
This seems wrong. You can make a new type that simply contains one of those, right?
In a sense that's what you're doing with a sum type in Haskell, though there you get to produce new types automatically from higher kinded types.
There are no comments on this comment yet.
This seems wrong. You can make a new type that simply contains one of those, right?
In a sense that's what you're doing with a sum type in Haskell, though there you get to produce new types automatically from higher kinded types.