News for hackers. Stuff that matters.

A comment on Dependent Types for F#. Parent comment

Re:Dependent Types for F# by jackfoxy on Tuesday December 05, 2017 @12:12PM (#15853232)
a dependent type is a type whose definition depends on a value https://en.wikipedia.org/wiki/Dependent_type
[ Parent | on HN ]

There are no comments on this comment yet.