Strict TypesTypes are locked at declaration, so the compiler catches mistakes before your program runs.