Windows is still a solid 'gets out of the way' operating system (with numerous tweaks, customizations, and stripping) when it works. If they focus on fixing UX issues and improving stability and performance, it may be enough to slow the rise of desktop Linux.
Better support for F#, or really any language other than C# is a longshot though. Those resources were likely 'reallocated' to AI R&D indefinitely.
> Windows is still a solid 'gets out of the way' operating system
A good way to put it.
There are third-party tools that Microsoft really need to adopt to make Windows a bit nicer (WizTree, VoidTools Everything, adopt improvements from Total Commander, make more PowerToys default), but broadly it is still a decent OS. There are issues like slow `CloseHandle()` because of Defender (which needs to be a bit less zealous), and maybe more first-party adoption of WinGet.
On the other hand, every time I use desktop Linux I get some paper cut because some edge case that I just don't ever think about is broken on Linux, whether it be my multi-monitor high pixel density layout, my USB audio interface and peripherals, or my touchpad sensitivity and gestures that Windows was widely derided for in the early 2010s and suddenly after 'Precision Touchpads'[1] no one ever complained about again, or random GPU glitches even on Intel/AMD integrated graphics that I have literally never seen on the Windows desktop, or poor battery life (Windows somehow gets 2-3x the battery life of Linux).