类型和域错误

一个类型的错误,如果一个参数是预期的不发生。类型的示例是:

  • integer
  • atom
  • list

如果谓词属于预期类型,但在预期之外,则会引发域错误

例如,如果期望 0 到 15 之间的整数,则允许域错误,但参数是整数 20。

声明性地,类型或域错误等同于静默失败,因为没有实例化可以使其参数的类型或域成功的谓词成功。