News for hackers. Stuff that matters.

A comment on F* – A Proof-Oriented Programming Language. Parent comment

Re:F* – A Proof-Oriented Programming Language by samueldurante on Thursday May 16, 2024 @11:58AM (#40379899)
I believe that F* is named purely for marketing purposes, or perhaps to specify another programming language with syntax derived from OCaml.

But other than that, I don't think it has any other relation.

[ Parent | on HN ]
Re:F* – A Proof-Oriented Programming Language by lambdanik on Thursday May 16, 2024 @12:26PM (#40380230)
Not just marketing ...

About the name: https://fstar-lang.org/tutorial/book/intro.html#a-bit-of-f-h...

[ Parent | on HN ]
Re:F* – A Proof-Oriented Programming Language by mkehrt on Thursday May 16, 2024 @05:16PM (#40383285)
I'd assume both are named after System F, the Simply Typed Lambda Calculus enriched with a variety of types of what would widely be called generics.
[ Parent | on HN ]