2006-12-18

Links: Lisp without parentheses in book

It is recommended to fans of rubber women, alcohol-free beer and lisp without parentheses - G J Chaitin THE UNKNOWABLE


CONTENTS
1. A Hundred Years of Controversy Regarding the Foundations of Mathematics
2. LISP: A Formalism for Expressing Mathematical Algorithms
3. Gödel's Proof of his Incompleteness Theorem
4. Turing's Proof of the Unsolvability of the Halting Problem
5. My Proof that You Can't Show that a LISP Expression is Elegant
6. Information & Randomness: A Survey of Algorithmic Information Theory
7. Mathematics in the Third Millennium?
8. Bibliography


An excellent example of how a good idea can be spoiled. After removing parentheses an author has to comment every(!) line of a source code... otherwise everything is completely confusing.

Running over it, I started to mess about just on the phrase
[is set empty?]
The first thought is... aha it's usual thing - besides parenthesis we add square brackets for easing of understanding. I.e. after translating to human language we get:
(define (is v p)
(p v))

(define empty? null?)

(is set empty?)


Oops... it turned out it was just a comment. Further it's getting worse huge sconses instead of one call of list, strange "'.

For educational purposes Lisp-1 can be used resolutely, and functions and usual variables may not be separated.

No comments:

Post a Comment