I'm dreaming of a C with only pointers that has an optional VM (with and without GC) and namespaces, string and stream included.
You can cook your own (C++, WASM and Java), but if it was standardized and cross compatible.
Also curious why so many dislike streams?
Have a look at D.
https://en.wikipedia.org/wiki/List_of_programming_languages
I think I'm not going to like it because I want something that is foundational = works everywhere, is stable everywhere and has all features everywhere (f.ex linux 32-bit on ARM)
But I will give it a fair shoot.
LDC is a frontend to LLVM. https://github.com/ldc-developers/ldc