了叫做codice_12的映射函数，与1958年出现的版本稍有不同。这是codice_12的最初定义，将一个函数连续的映射到整个列表和去除第一个元素余下列表之上：函数codice_12在更新近的Lisp比如Common Lisp中仍可获得到。Common Lisp提供映射函数家族，如codice_15和更一般性的codice_1等，其中对应这里所描述行为的那叫做codice_15，这里的后缀codice_18指示取列表第一个元素的。
例子：映射一个列表.假定我们有一个整数的列表c