3 ms·
F# is very much like a .NET port of OCaml. It is very nice to use and offers (usually) low effort interop with all of the worlds C# libraries. We use it in pro
by gameswithgo 7y ago
F# is very much like a .NET port of OCaml. It is very nice to use and offers (usually) low effort interop with all of the worlds C# libraries.
We use it in production at Olo, and I used it in production at my last company.
Since learning F#, languages where if statements aren't expressions and that don't have option types feel broken to me =)
- polskibus 7y agoI can see that F# still does not support GADTs. Did you find it a serious limitation?
- daxfohl 7y agoDepends on what you're trying to do. I've never found it to be a limitation but I don't do anything terribly intricate. Just web dev for work, and I wrote a toy language parser and type inferencer in it. There are maybe three lines of code that GADTs might have let me avoid casting in the type inferencer, but oh well. Different use cases that use GADTs to a greater extent, of course, you might miss them. What is your use case, and how much are you reliant on GADTs in your existing daily life?
- amw-zero 7y agoYou can go an entire lifetime without ever even knowing about GADTs. I don’t find their absence limiting at all.