| 单词 |
functor |
| 释义 |
functor
func·tor F0362300 (fŭngk′tər)n.1. One that performs an operation or a function.2. Grammar See function word.
[New Latin fūnctor, from Latin fūnctiō, performance, function; see function.]functor (ˈfʌŋktə) n1. (Grammar) (in grammar) a function word or form word2. (Mathematics) (in mathematics) a function that maps elements of one set to those of anotherfunc•tor (ˈfʌŋk tər)
n. that which functions; operator. [1935–40] Translationsfunctor
functor[′fəŋk·tər] (computer science) logic element (mathematics) A function between categories which associates objects with objects and morphisms with morphisms. functorIn category theory, a functor F is an operator on types. Fis also considered to be a polymorphic operator on functionswith the type
F : (a -> b) -> (F a -> F b).
Functors are a generalisation of the function "map". Thetype operator in this case takes a type T and returns type"list of T". The map function takes a function and applies itto each element of a list.AcronymsSeeF |
| 随便看 |
- hung-over
- hungover
- hung parliament
- hungray
- hungred
- hungrier
- hungries
- hungriest
- hungrily
- hungriness
- hung round
- -hungry
- hungry
- hungry, angry, lonely, tired
- hungry, angry, lonely, tired, serious
- hungry, angry, lonely, tired, stupid
- hungry artists feed hungry people
- hungry as a bear
- hungry as a hunter
- hungry bones syndrome
- hungry bone syndrome
- hungry for
- hungry for it
- hungry for (something)
- hungry for something
|