什么是强类型系统?
出自:计算机科学