许多程序设计语言规定，程序中的数据都必须具有类型，其作用不包括( )。