。映射在作为泛函形式考虑时，经常叫做“应用于全部”。在支持头等函数和柯里化的语言中，codice_1可以在一个函数上，将这个只工作在一个值之上函数，提升为工作在整个容器上的逐个元素上的函数。
定义.codice_1作为Haskell的基本前序（prelude：就是标准库）的一部份提供并被实现为：map :: (a -> b) -> [a] -> [b]map _ [] = []map f (x : xs) = f x : map f xs在这个定义之中，涉及到四种不同的