the power of static typing in programming

static typing is a feature in many programming languages that can catch errors at compile-time...