|
|
@@ -147,6 +147,14 @@ Need to give thanks to
|
|
|
\label{ch:trees-recur}
|
|
|
|
|
|
\section{Abstract Syntax Trees}
|
|
|
+
|
|
|
+\marginpar{\scriptsize Introduce s-expressions, quote, and quasi-quote, and comma in
|
|
|
+ this section. Make sure to include examples of ASTs. The description
|
|
|
+ here of grammars is incomplete. It doesn't really say what grammars are or what they do, it
|
|
|
+ just shows an example. I would recommend reading my blog post: a crash course on
|
|
|
+ notation in PL theory, especially the sections on Definition by Rules
|
|
|
+ and Language Syntax and Grammars. -JGS}
|
|
|
+
|
|
|
% \begin{enumerate}
|
|
|
% \item language representation
|
|
|
% \item reading grammars
|
|
|
@@ -170,6 +178,7 @@ transformations} on any expression within the given language (i.e.,
|
|
|
to transform an arbitrary \(\lambda\)-term into the equivalent
|
|
|
\textit{de-Bruijinized} \(\lambda\)-term.
|
|
|
|
|
|
+
|
|
|
\section{Using Match}
|
|
|
% \begin{enumerate}
|
|
|
% \item Syntax transformation
|
jsiek