News for hackers. Stuff that matters.

A comment on Dependent Types for F#.

Re:Dependent Types for F# by jpfed on Tuesday December 05, 2017 @06:10PM (#15857001)
This is cool, but isn't it more like refinement types?
[ Parent | on HN ]

There are no comments on this comment yet.