| 单词 |
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 |
| 随便看 |
- jones disease
- jonesed
- jones, e. fay
- jones, elaine ruth
- jones, e. lester
- jones, ernest
- jones, ernest charles
- joneses
- jones, euine fay
- jones eye institute
- jones falls expressway
- jones falls watershed association
- jones first-toe repair
- jones food store equipment
- jones footer margeotes partners
- jones fracture
- jones gap state park
- jones generation
- jones, george
- jones, george glenn
- jones, harold spencer
- jones, harry clary
- jones, henry
- jones, henry arthur
- jones, henry bence
|