类型安全与显式类型转换

静态类型语言在编译期检查值的类型是否匹配，把类型不符的错误拦截在运行之前而非留到线上暴露；配合类型推断，声明变量时通常无需手写类型标注，编译器会根据赋的字面量自动确定类型，兼顾了强类型的安全性和动态语言的简洁书写体验。这种设计延伸出一个连带规则：不同数值类型之间禁止隐式转换，必须显式用目标类型包一层（如 UInt16(one)），看似啰嗦，实际是把”这里发生了类型收窄/精度变化”的意图从依赖读者记忆变成写进代码里，避免静默的精度丢失或溢出。