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.
[ Parent
| on HN ]
There are no comments on this comment yet.