4 ms·

I wonder if it's a good idea to pick a name that's hard to search for...

• fosefx 2y ago
  Just like with "golang", "FStar" is the query if choice. But don't think you'll find much, if the documentation is in the same state as it was two years ago.
• amelius 2y ago
  ...and that looks like someone is swearing.
• xedrac 2y ago
  For a language that touts its practicalities, the name isn't a great start. Although F*lang or F***lang (maybe Foq?) seem like reasonable search proxies.
  • markusde 2y ago
    Foq is hilarious, especially given that just today Coq released its website with its new name (Rocq)
• wk_end 2y ago
  Is it really that much harder to search for than "C", "C++", "C#", "F#", "Go", "Rust", "D"...? Googling "Fstar programming language" works fine for me.
  • amelius 2y ago
    ".NET"
  • nottorp 2y ago
    Didn't say those are more inspired. At least Rust is long enough to not get ignored by the search engines. And some of the older ones have being older than the internet as an excuse.