类型系统-一流百科

类型系统

类型系统在计算机编程中，类型系统是一个由一组规则组成的逻辑系统，它为每个术语（一个词、短语或其他符号集）分配一个称为类型的属性。通常，这些术语是计...