4 ms·
I've never understood the relationship between F# and F*. I had previously come to the conclusion that F* was merely inspired by F#'s syntax and base-level sema
by bmitc 2y ago
I've never understood the relationship between F# and F*. I had previously come to the conclusion that F* was merely inspired by F#'s syntax and base-level semantics but that was where the relationship ends. As far as I can tell, F* is not a .NET language and doesn't run on the CLR. Is that correct? In the description it says it compiles to OCaml, which confuses me even more about the F* naming. What is the relationship to or level of interoperability with F#, if there is any?
- samueldurante 2y agoI 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.