#类型系统(2)

编程语言的类型检查和类型安全体系