Death by
Obesity
Didier Verna
Languages
Homoiconicity
Conclusion
The LISP UFO (Unidentified Functional Object)
Syntactic anorexia
Core syntax:
Atoms: foo, 45, "string", ...
S-expressions: (atom sexp sexp atom ...)
(foo 1 2)
(defun foo (n1 n2) ...)
(defun foo (n1 n2)
(declare (type fixnum n1 n2)) ...)
(lambda (n1 n2) ...)
(defstruct struct ...)
(defclass class ...)
(class-slot object)
(setf (class-slot object) value)
...
11/19
Death by
Obesity
Didier Verna
Languages
Homoiconicity
Conclusion
Having no syntax is impractical
√
x | x ← (1..10)
(BLOCK NIL
(LET ((I 1))
(DECLARE (TYPE (AND REAL NUMBER) I))
(SB-LOOP::WITH-LOOP-LIST-COLLECTION-HEAD (#:LOOP-LIST-HEAD-859
#:LOOP-LIST-TAIL-860)
(SB-LOOP::LOOP-BODY NIL
(NIL NIL (WHEN (> I ’10) (GO SB-LOOP::END-LOOP))
NIL)
((SB-LOOP::LOOP-COLLECT-RPLACD
(#:LOOP-LIST-HEAD-859 #:LOOP-LIST-TAIL-860)
(LIST (SQRT I))))
(NIL (SB-LOOP::LOOP-REALLY-DESETQ I (1+ I))
(WHEN (> I ’10) (GO SB-LOOP::END-LOOP)) NIL)
((RETURN-FROM NIL
(SB-LOOP::LOOP-COLLECT-ANSWER
#:LOOP-LIST-HEAD-859)))))))
12/19
