Function type
In computer science, 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.
primaryTopic
Function type
In computer science, 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.
has abstract
In computer science, a functio ...... dea of a polymorphic function.
@en
Функциональный тип (стрелочный ...... себе идею полиморфной функции.
@ru
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
724,869,151
id
title
hypernym
comment
In computer science, a functio ...... dea of a polymorphic function.
@en
Функциональный тип (стрелочный ...... ования — A -> B), или как на .
@ru
label
Function type
@en
Функциональный тип
@ru