If anyone knows what these terms mean it would help me and others.
(Andy: yes I ordered Lisp in Small Pieces.)
=========================================================
"properly tail recursive" (Is there such thing as improperly tail recursive?)
"statically scoped" (Scope to me just means the parens in which a bound symbol
is valid. What's with the 'static' part?)
"expression" (I have an intuitive idea what this means but wondering what the
formal def is. Is it 'expression = anything that is evaluated' ?)
"message passing [programming] styles" (What is this?)
"a very small number of rules for forming expressions, with no restrictions on
how they are composed" (forming means to build...what does 'compose' mean?)
"[Scheme is] one of first programming languages to incorporate first class
procedures as in the lambda calculus" (Huh? Lisp had first class *functions* a
long time ago. Does procedure != function?)
"distinguish procedures from lambda expressions and symbols" (I'm lost on what
procedures mean to the Sussman.)
"first class escape procedures from which all previously known sequential
control structures can by synthesized." (I don't even have a clue for this
one.)
cs
--
[email protected]
http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg