I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
