> I thought everything was suppose to be like: `(left . (left . right) )`.<p>Could be, but you don't need the "." (or the list as so-called "cons pairs"). (a b c ...) is enough.<p>> It seems as if there are actually a ton more special case primitives I need to know<p>You need to know a handful of special forms like and, cond, let etc (corresponding roughly to keywords in other languages). Everything uses those with the same syntax (nested lists), with an exception:<p>Normally (a b c) means call function a with arguments b c. If you want to treat it as a list you can use the quote "function":<p><pre><code> (quote a b c)
</code></pre>
For convenience this can also be written as:<p><pre><code> '(a b c)
</code></pre>
> (loop for i in '(1 2 3)
when (> i 1)
return i)<p>Loop is a macro, a user-defined syntax that can evaluate its arguments in a special way. It's not part of the core language, even if it comes with it. Rather it is implemented in Lisp itself.<p>You can just not use it, it's neither core Lisp, nor essential. If you do want to use it, or have to read the code of someone that does use, it's pretty easy to understand. It was created so people can have their familiar for loop in Lisp too.<p>> How do I read this as an s-expression?<p>What do you mean? This is already an s-expression. Or it would be, if you actually write an instance of this, this is just an example with placeholders. An instance would be something like:<p><pre><code> (defun double (a) "Doubles a number" (+ a a))
</code></pre>
corresponding to the:<p>defun = special form (similar to "def" or "function" in other languages)<p>double = name of function we define<p>(a) = parameter list of a single parameter: a<p>"Doubles a number" = docstring, similar to the """docstrings" in Python, descriptive metadata string about the function<p>(+ a a) = add a to a in prefix (operator first) math notation