I've not seen any F# commenters here, but I have a question in case any lurk.
In short: does F# still have a major differentiating vision for the future? I know that most cool C# features were pioneered in F# first, but based on my ~2016 knowledge it has almost run out of features to steal.
For context, I used to love F#. It made C# feel ancient. But now C# has async, tuples, records, switch expressions, basic pattern matching, etc. It's all less elegant, but it's good enough that I can't justify using the less popular language anymore.
My concern is that F# has entered a state of half-success, where it has too many professional users to introduce risky new features, but it no longer has a USP strong enough to gain new ones. I'll be very happy if someone can explain why I'm wrong!