The open source ecosystem is concentrated. There are far more OSS packages for javascript or C++ than, say, Rust. Less popular programming languages are talked

The open source ecosystem is concentrated. There are far more OSS packages for javascript or C++ than, say, Rust. Less popular programming languages are talked about much more than they are contributed to, but they're talked about precisely because they're often solving problems that are major pain points in people's lives. I'm personally rooting for OCaml, assuming some current efforts bear fruit I'd love a language with the following properties: - An extremely expressive type system with type inference - Incremental builds so compiling is fast - Good compile to JS story so frontend/backend share types as well as serializers and deserializers - Only slightly slower than C (think Java perf) - Good multicore, perhaps even with typed effects - Can be run in a unikernel so I can ship my program as a simple image Any language with this feature list would solve a lot of personal and organizational problems for me and many other programmers I know. None of the really popular languages I'm familiar with can achieve these goals due to backward compatibility requirements.