I think those reasons are entirely valid.

I don't see any reason why Typescript (for example) couldn't be made to meet them (relatively easily).