News for hackers. Stuff that matters.

A comment on Dependent Haskell Is the Future (2018). Parent comment

Re:Dependent Haskell Is the Future (2018) by andreabedini on Friday August 16, 2019 @08:02AM (#20714248)
Yes, that’s the whole point of dependent types: types can depend on (runtime) values.
[ Parent | on HN ]

There are no comments on this comment yet.