Python with MyPy.
(Almost any language can meet those criteria, with enough shenanigans.)
<?php declare(strict_types=1)
😏 😁
🏃♂️💨
That is a very specific subset
Garbage collection is still allowed, and technically JIT languages are still compiled so it really isn’t that restrictive
🦀
Ada, hands down. Every time I go to learn Rust I’m disappointed by the lack of safety. I get that it’s miles ahead of C++, but that’s not much. I get that it strikes a much better balance than Ada (it’s not too hard to get it to compile) but it still leaves a lot to be desired in terms of safe interfacing. Plus it’s memory model is more complicated than it needs to be (though Ada’s secondary stack takes some getting used to).
I wonder if any other Ada devs have experience with rust and can make a better comparison?
Hands down, Rust 🦀
Swift
You mean… except Ada?
C is memory safe if you program it well enough, so I guess C
Lol. The people downvoting your comment need to get good.
Every car has airbags if you drive well enough. Right?
every single language (except Vlang of course) is memory safe if you program it perfectly.
Very, very few humans are capable of doing that, especially with C.
C? Memory safe? HAHAHAHA