News for hackers. Stuff that matters.

A comment on Dependent Types for F#. Parent comment

Re:Dependent Types for F# by poizan42 on Tuesday December 05, 2017 @05:06PM (#15856496)
Have you seen CakeML[0]? It is verified that the semantics of the x86 machine code it outputs in the end are the same as the SML code it takes as input, up to out-of-memory errors.

[0]: https://cakeml.org/

[ Parent | on HN ]

There are no comments on this comment yet.