News for hackers. Stuff that matters.

A comment on Concepts: The Future of Generic Programming [pdf]. Parent comment

Re:Concepts: The Future of Generic Programming [pdf] by openfuture on Tuesday December 20, 2016 @07:19PM (#13225656)
You just described dependent types, they´re available in Idris.
[ Parent | on HN ]

There are no comments on this comment yet.