"x"和"y"必须是数字——因为加法仅定义给数字。因此，任何在其它地方以非数值型别（如字串或链表）作为参数来唿叫"f"的话，将会发出一个错误。在代码中数值、字串常数以及运算式，经常可以在详细的前后文中暗示型别。例如，一个运算式codice_2可暗示浮点数型别；而codice_3则可暗示一个整数的链表；通常是一个阵列。
型别的型别."型别的型别"是一种种类。在型别程式设计中有明确的种类，如Haskell程式语言的"型别建构子"，在申请比较简单的型别之后，其返回一个简单的型别。例如