I agree with you that a smaller, cleaner codebase with less boilerplate probably leads to better software, regardless of type system.