量纲误用在科学计算程序中是一种常见的错误，然而程序设计语言的标准类型系统却对此无能为力。物理方程中的量纲错误可以手工分析出来，然而求解物理方程的计算机程序中的量纲错误却难以被发现，因为