It doesn't get said very much but the ML ecosystem is full, complete, and very much production quality. It is a shame that there are not many projects or companies that make use of all that it has to offer.
And I have a similar feeling of sadness that Racket (or one of the other Scheme variants) isn't used more.
I've wondered whether one of the barriers is still that students' only exposure to these is usually using it in school for some contrived homework assignments, and dismissing the tools for "real work" before they've tried applying them. (And at least some schools are emphasizing having students ready for internship/interview with popular languages now, so innovative languages can get even less attention.)
Personally, F# is nice and all, but the lack of higher kinded types rubs me the wrong way.
VB.NET, C# and even C++/CLI get all the nice .NET toys, while F# gets to play in some of them.
It was even left out of the WinUI 3 roadmap.
https://www.reuters.com/article/us-walmart-jet-com/jetcom-fa...
From my small amount of exposure, I can say that I love Ocaml's expressiveness and flexibility.
https://github.com/anmonteiro/ocaml-h2 - HTTP2 stack
https://github.com/inhabitedtype/httpaf - HTTP stack
For micro-frameworks there are a few options available like
https://github.com/rgrinberg/opium
https://github.com/ostera/httpkit
There are some scattered pieces in the ecosystem for routing, sessions etc but i agree that compared to Python, JS, etc the ecosystem might not look as cohesive or expansive for web applications. So there should definitely be room to have new solutions in this space
Too bad I’m not smart enough to get hired there. The interviews are impossible.