3 ms·
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 tha
by samueldurante 2y ago
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.
- lambdanik 2y agoNot just marketing ... About the name: https://fstar-lang.org/tutorial/book/intro.html#a-bit-of-f-history https://fstar-lang.org/tutorial/book/intro.html#a-bit-of-f-h...
- mkehrt 2y agoI'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.