> ... as well as memory and type safety (the latter enabled by ML powered type checkers...

I find that highly unlikely.