Early Lisp Part II
funcall.blogspot.com
By April of 1959, issues with using subst to implement β-reduction became apparent. In the April 1959 Quarterly Progress Report of the Research Laboratory of Electronics, McCarthy gives an updated definition of the universal S-function apply: apply[f;args]=eval[cons[f;appq[args]];NIL] where appq[m]=[null[m]→NIL;T→cons[list[QUOTE;car[m]];appq[cdr[m]]]] and … Read more
