In computer science and mathematical logic, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function. The function type can be considered to be a special case of the dependent product type, which among other properties, encompasses the idea of a polymorphic function.