[xfer]

That is not why these languages are popular. Types are your design document in languages with expressive type system. So by design you can make it hard to make logical errors.