Re:F* – A Proof-Oriented Programming Language
by tombert on Thursday May 16, 2024 @12:01PM
(#40379933)
I was working for Jet.com, it was one of the very few places that did F#. The reason I was hired was because I had Haskell experience from working at NYU as an engineer before.
Re:F* – A Proof-Oriented Programming Language
by Nuzzerino on Thursday May 16, 2024 @03:23PM
(#40382095)
I used F# at realtyshares in 2017. Didn't think it was particularly great for anything except Payment processing. The F# tools were only good with VS IDE on Windows at the time. I would probably use it again though, the REPL is much better than anything C# has to offer.
The Rider release was a shitshow, lots of bugs that went unfixed. Productivity went way down when I had to switch to a mac laptop (keep in mind this is 2017 on a Microsoft language). Had similar experiences with Rubymine in 2022 (poor YARD support, lots of bugs in type inference even with simple things, bug tickets left open for years, thank god for Sorbet-lsp). The tooling is probably better these days but I don't trust Jetbrains for anything, they are a rent-seeking company.
Re:F* – A Proof-Oriented Programming Language
by neonsunset on Thursday May 16, 2024 @03:41PM
(#40382308)
2017 was right as the very first releases of .NET Core 1, 1.1 and 2.0 were happening.
It’s most likely your experience today would be a polar opposite to this.
Re:F* – A Proof-Oriented Programming Language
by barrenko on Thursday May 16, 2024 @01:07PM
(#40380696)
There are some trading companies as well, I guess because it's ocaml adjacent.
Re:F* – A Proof-Oriented Programming Language
by happypumpkin on Thursday May 16, 2024 @10:12PM
(#40385647)
Maybe try looking for Clojure jobs? They aren't super common but are a lot more so than any other lisps or functional languages that I'm aware of (except maybe Scala).
University jobs?