4 ms·

It's also important to add F# is an inspiration for an amazing MS Research effort, F* [1]. Furthermore, it is also worth checking Dafny [2] (Spec#'s successor)

by nextos 5y ago

It's also important to add F# is an inspiration for an amazing MS Research effort, F* [1]. Furthermore, it is also worth checking Dafny [2] (Spec#'s successor). The relationship between Dafny and C# is equivalent to the relationship between F* and F#. Both languages try to refine their predecessors semantics and augment them with practical constructs to prove program correctness. Some of the largest software artifacts ever verified have been implemented in Dafny [3], and F* is also looking quite promising. [1] https://www.fstar-lang.org https://www.fstar-lang.org [2] https://dafny-lang.github.io/dafny/ https://dafny-lang.github.io/dafny/ [3] https://www.cs.columbia.edu/~junfeng/17sp-e6121/papers/ironfleet.pdf https://www.cs.columbia.edu/~junfeng/17sp-e6121/papers/ironf...

amw-zero 5y ago
What makes you say that F# is an inspiration for F? I recently went through the F tutorial and saw no mention of that. Obviously F* is an ML, but it seems more like Ocaml than F#.
- phillipcarter 5y ago
  Might be referring to the fact that quite a bit of f-star is written in F# and that F# is an emit option? That said, the F# code that you see in the compiler source looks syntactically more like OCAML and makes little use of .NET.
- psd1 5y ago
  Excellent illustration of 7331's sister-level comment... your two *s have turned into markup
7331 5y ago
Why oh why are people still putting special characters in the names of programming language? # . + are bad enough... but * ?!? It can't even be used in filenames at all. And while Google might be ok at indexing it... pretty much every other fulltext search engine will be useless. Not to mention it can't be used in package names, domain names, filenames, and a heap of other things. Even an emoji (while still terrible) would be better under some circumstances. "Go" was ridiculous enough, ironically from somebody who works at Google. But these people still putting special characters in the names must really not care about findability/disambiguation at all. PHP might have got a lot wrong... but the name is great... it's just "PHP" everywhere, even the filename extension.
alexvoda 5y ago
How does Dafny compare to M#, the unreleased language used for project Midori?

by nextos 5y ago

amw-zero 5y ago

What makes you say that F# is an inspiration for F? I recently went through the F tutorial and saw no mention of that. Obviously F* is an ML, but it seems more like Ocaml than F#.

phillipcarter 5y ago
Might be referring to the fact that quite a bit of f-star is written in F# and that F# is an emit option? That said, the F# code that you see in the compiler source looks syntactically more like OCAML and makes little use of .NET.
psd1 5y ago
Excellent illustration of 7331's sister-level comment... your two *s have turned into markup

7331 5y ago

Why oh why are people still putting special characters in the names of programming language? # . + are bad enough... but * ?!? It can't even be used in filenames at all. And while Google might be ok at indexing it... pretty much every other fulltext search engine will be useless. Not to mention it can't be used in package names, domain names, filenames, and a heap of other things. Even an emoji (while still terrible) would be better under some circumstances. "Go" was ridiculous enough, ironically from somebody who works at Google. But these people still putting special characters in the names must really not care about findability/disambiguation at all. PHP might have got a lot wrong... but the name is great... it's just "PHP" everywhere, even the filename extension.

alexvoda 5y ago

How does Dafny compare to M#, the unreleased language used for project Midori?