ll的基本前序（prelude：就是标准库）的一部份提供并被实现为：map :: (a -> b) -> [a] -> [b]map _ [] = []map f (x : xs) = f x : map f xs在这个定义之中，涉及到四种不同的模式：Lisp语言在1959年介入了叫做codice_12的映射函数，与1958年出现的版本稍有不同。这是codice_12的最初定义，将一个函数连续的映射到整个列表和去除第一个元素余下列表之上：函数codice_12在更新近的Lisp比如Common