News for hackers. Stuff that matters.

A comment on I was wrong, reflecting on the .NET design choices. Parent comment

Re:I was wrong, reflecting on the .NET design choices by noblethrasher on Friday April 21, 2017 @10:01PM (#14170751)
F* has an advanced type system with support for dependent types and refinement types. Yet, it runs on the CLR.

Source: https://www.fstar-lang.org

[ Parent | on HN ]

There are no comments on this comment yet.