Functor
Üzerinde map yapabileceğiniz bir veri yapısı — "kapsayıcıyı" değiştirmeden "içeriğe" bir fonksiyon uygulayan map/fmap'i uygular.
Kategori teorisinden gelir. Yasaları: fmap id == id ve fmap (f . g) == fmap f . fmap g. Liste, Maybe/Optional, Either, Tree, Promise/Future — hepsi functor'dır. Dilin tip kategorisi üzerinde bir endofunctor'dur. Üzerine Applicative (pure ve <*> ekler), onun da üzerine Monad (bind ekler) gelir. Haskell, Scala, Rust (Iterator::map aracılığıyla) ve fonksiyonel JavaScript kavramı yoğun kullanır.