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.

2006-12-13

SQL Programming Style

I've finished «SQL Programming Style» by Joe Celko. Chapter about scales and measures is great, I'll read it again.
I laughed a lot at the book pages telling what won't do. I'm fully agree with it. All negative examples I'm watching in the real life.

The author's devotion to natural keys seemed very strange to me.

Argument against it — very often the appearance of a natural key is the result of concrete stage of a workflow. When building database scheme based on natural key we implicitly specify the actions order. Business rules are changed a little - oops, on basic stages we lost the key.

But in general the book is consist as it is expected from the title of personal rules of code writing style. Too many moot points...

2006-12-12

Mess

I've just forgotten parentheses in a constructor declaration... and got


--------------------Configuration: credits - Win32 Debug--------------------
Compiling...
DocumentState.cpp
D:\MyProjects\Credits\Classes\DocumentState.cpp(24) : fatal error C1001: INTERNAL COMPILER ERROR
(compiler file 'msc1.cpp', line 1794)
Please choose the Technical Support command on the Visual C++
Help menu, or open the Technical Support help file for more information
Error executing cl.exe.

creditsD.exe - 1 error(s), 0 warning(s)

2006-12-06

Dependence on Google

I'm sick — once and for all, after transferring friend tape to google reader the only last step is left.


Yesterday I've realized that it is become to read everything in one program. I've got the following variant:
1) Mark pages you like with tag «read» in del.icio.us (there is a plugin for FireFox).
2)Subscribe to feed from del.icio.us like http://del.icio.us/rss/fyodor/read in a favorite aggregator
3)Read your interest pages in the aggregator when you have free time, together with news.