参考答案：B

解析：

[分析] 本题考查程序语言基础知识。

在机器层面上，所有的数据都是二进制形式的。应用领域中的数据可以有不同的形式、意义和运算，程序中的数据已经进行了抽象，不同类型的数据需要不同大小的存储空间，因此为程序中的数据规定类型后，可以更合理地安排存储空间。不同类型的数据其取值方式和运算也不同，引入类型信息后，在对源程序进行编译时就可以对参与表达式求值的数据对象可以进行合法性检查。