tags:

views:

754

answers:

1

On the xkcd site today, the following appeared as a joke in a <script language="scheme"> tag

so what does the following code do / represent?

(define
  (eval exp env)
  (cond ((self-evaluating? exp) exp)
    ((variable? exp)
      (lookup-variable-value exp env))
    ((quoted? exp)
      (text-of-quotation exp))
    ((assignment? exp)
      (eval-assignment exp env))
    ((definition? exp)
      (eval-definition exp env))
    ((if? exp)
      (eval-if exp env))
    ((lambda? exp)
      (make-procedure
        (lambda-parameters exp)
        (lambda-body exp)  env))
    ((begin? exp)
      (eval-sequence (begin-actions exp) env))
    ((cond? exp)
      (eval (cond->if exp) env))
    ((application? exp)
      (apply (eval (operator exp) env)
        (list-of-values (operands exp) env)))
    (else  (error "Common Lisp or Netscape Navigator 4.0+ Required" exp))))
+13  A: 

It's essentially a simple interpreter, if you assume that all the requisite methods are filled in.

Oliver N.
it is from SICP, mostly, 4.1 The Metacircular Evaluator
Rainer Joswig
To clarify: it's exactly the SICP 4.1 code except for the error message.
Bill