A variable may be bound to a specific data type to help provide type safety.

• 变量可以绑定到特定的数据类型来确保类型安全。