News for hackers. Stuff that matters.

A comment on Verified Programming in F*: A Tutorial. Parent comment

Re:Verified Programming in F*: A Tutorial by wisam on Monday January 04, 2021 @06:45AM (#25630120)
Are you thinking F#?

I believe that other than being ML-like language and being developed jointly by Microsoft Research and Inria, F* has nothing to do with F# and .NET.

[ Parent | on HN ]
Re:Verified Programming in F*: A Tutorial by studius on Monday January 04, 2021 @06:52AM (#25630177)
"Programs written in F* can be translated to OCaml, F#, and C for execution. ... The latest version of F* is written entirely in a common subset of F* and F#, and bootstraps in both OCaml and F#."[1]

[1]- https://en.wikipedia.org/wiki/F*_(programming_language)

[ Parent | on HN ]
Re:Verified Programming in F*: A Tutorial by wisam on Monday January 04, 2021 @07:07AM (#25630271)
Thanks, I stand corrected.
[ Parent | on HN ]
Re:Verified Programming in F*: A Tutorial by tartrate on Monday January 04, 2021 @07:49AM (#25630628)
No I was just hoping it was connected somehow. I only found a single mention of .NET:

> F* provides a facility to specify interfaces to external modules that are implemented elsewhere. For example, operations that perform file input/output are implemented by the operating system and made available to F* programs via the underlying framework, e.g., .NET or OCaml.

[ Parent | on HN ]