Statically typed
Types checked and enforced at compile time