moreover, I don't think that type annotations will provide much benefit if there's no strict process for validating them. An automated type checker is often th

moreover, I don't think that type annotations will provide much benefit if there's no strict process for validating them. An automated type checker is often the implementation of such a strict process that requires least effort.