News for hackers. Stuff that matters.
Re:Verified Programming in F*: A Tutorial by indolering on Monday January 04, 2021 @08:15PM (#25640697)
AFAICT not great. It's an academic language and doesn't focus much on interop. The F# extraction system has been broken previously and I wouldn't recommend relying on F* for any commercial work unless you have a connection to the core development team.

There are no comments on this comment yet.