I have a couple which others haven't mentioned yet. I have very little/no experience with them, but what I have read about them matches your criteria, so they m

I have a couple which others haven't mentioned yet. I have very little/no experience with them, but what I have read about them matches your criteria, so they might be worth a look. Crystal (like Ruby but fast and statically typed) D (a "better" C/C++ with GC) Pascal (a C/C++ competitor which has fallen out of favor, but is still being developed as FreePascal)