类型和域错误
一个类型的错误,如果一个参数是预期的不发生型。类型的示例是:
integer
atom
list
。
如果谓词属于预期类型,但在预期域之外,则会引发域错误。
例如,如果期望 0 到 15 之间的整数,则允许域错误,但参数是整数 20。
声明性地,类型或域错误等同于静默失败,因为没有实例化可以使其参数的类型或域成功的谓词成功。
一个类型的错误,如果一个参数是预期的不发生型。类型的示例是:
integer
atom
list
。如果谓词属于预期类型,但在预期域之外,则会引发域错误。
例如,如果期望 0 到 15 之间的整数,则允许域错误,但参数是整数 20。
声明性地,类型或域错误等同于静默失败,因为没有实例化可以使其参数的类型或域成功的谓词成功。