All those things you mentioned in the first two paragraphs are fixed by F#, however, it is still not popular. The reasons in that case are that .NET was not or

All those things you mentioned in the first two paragraphs are fixed by F#, however, it is still not popular. The reasons in that case are that .NET was not originally cross-platform, which was a major blunder for Microsoft, C#, and especially F#. The other is that people have some weird stigma against Microsoft, despite it not applying in many cases. Although they should have started off cross-platform, the transition from .NET Framework, to .NET Core, and now to .NET 5/6/7 has been really impressive. That along with GitHub and Visual Studio Code, it's pretty amazing how much progress Microsoft has made for developers. I just wish it would bring more people to F#, as it's sort of a Goldilocks language since it hits so many sweet spots.