roam/20201009010321-static_type_...

265 B

Static Typing

A property of a Type System such that types are verified at compile time, with the goal of removing the need for runtime checks.