类型 计算机科学 特点