# setf 中「f」的本意

# (setf (car cons) 'cdr)

大多数人第一眼见到 setf ，可能会简单的把 f 理解成 form。这种解释很符合直觉，因为我们已经有了对 symbol 进行赋值操作的 setq 。而 setf 可以对 form（广义变量）进行赋值。

然而这个直觉是错误的。 Deutsch 在他的论文《A Lisp machine with very compact programs》中（原文）提到

A more useful function is (SETFQ (fn arg1 ... argn) newvalue) which quotes the function name and evaluates everything else. This allows RPLACA, for example, to be defined as (LAMBDA (X Y) (SETFQ (CAR X) Y) ).

这里面提到的 rplaca 在 Elisp 里叫做 setcar

所以 setf 是 setfq 的缩写，f 的意思是 function。另外在这篇论文中我们也可以看到 MicroLisp 引入了现在我们使用的广义变量的概念

# 参考

原博客

(setf (car cons) 'cdr)

参考

# setf 中 「f」 的本意

# (setf (car cons) 'cdr)

# 参考

# setf 中「f」的本意