Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Why don't more languages offer flow typing?. Parent comment
Dependent types is really about the ability to parameterise types over values, and reason on those values-dependent types.
There are no comments on this comment yet.
Dependent types is really about the ability to parameterise types over values, and reason on those values-dependent types.