> omitting explicit type declarations makes the code more compact.

I guess this ignores languages with type inference? Hindley-Milner and others