News for hackers. Stuff that matters.

A comment on OpenSSL Security Advisory - 26 Sep 2016. Parent comment

Re:OpenSSL Security Advisory - 26 Sep 2016 by pjmlp on Monday September 26, 2016 @09:06AM (#12581444)
Sure it is usable by native code. F* also has AOT compilers to native code.
[ Parent | on HN ]
Re:OpenSSL Security Advisory - 26 Sep 2016 by nickpsecurity on Monday September 26, 2016 @12:34PM (#12583276)
F star compiles to Ocaml or F#. Here's the page on integrating Ocaml and C:

http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html

I'm not sure at a glance how easy it will be to use F star programs in C applications via Ocaml. We'd be better off if there was a compiler from F star to annotated/safe C, Ada/SPARK, or Rust. All of these can integrate more easily into the legacy apps.

[ Parent | on HN ]