moreover the compilers in the language of static type can find shortcuts more easily