Some thoughts on programming, buliding solid systems, functional programming, abstraction

Gerald Jay Sussman paper, Building Robust Systems: "The digital computer is a break-through of this kind, because it is a universal machine that can simulate any other information-processing machine."

Lisp: A language for stratified design, Harold Abelson and Gerald Jay Sussman, AIM-986: "Lisp encourages one to attack a new problem by implementing new languages tailored to that problem".

PicoLisp, A Radical Approach to Application Development, Alexandre Burger, radical.pdf:

   - Deal with constant application change
   - Develop through an iterative process
   - Have a fully functional systema at each iteration
   - Lightweight and fast language
   - Compiled Lisp is not Lisp
   - Lisp is fast because it is a tree of executable nodes
   - On top of PicoLisp Burger built an application server which includes a Database and a Lisp based markup language
   - Information kept in one place
   - Abstracted library of functions

Check Pico-Lisp here.