| 单词 |
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 |
| 随便看 |
- april 18, 2014
- april 18, 2015
- april 18, 2016
- april 18, 2017
- april 18, 2018
- april 18, 2019
- april 18, 2020
- april 18, 2021
- april 18, 2022
- april 18, 2023
- april 18th
- april 19
- april 19, 1995
- april 19, 2007
- april 19, 2011
- april 19, 2012
- april 19, 2013
- april 19, 2014
- april 19, 2015
- april 19, 2016
- april 19, 2017
- april 19, 2018
- april 19, 2019
- april 19, 2020
- april 19, 2021
|