Some code can be taken from the sources of the exam. Some comments came in from Andres, which I am putting here (they might make things clearer):
"We will use the word ``grammar'' when we refer to values
representing grammars, and ``parsers" to refer' to the kind
of values which do actual parsing."
[I.e., put the words you are talking about in quotes to make
reading the text somewhat easier.]
The occurrences of TSeq and TElem at the bottom of the page
should probably be in italics/inline-code mode rather than
The type of split is:
split :: Alternative f => TopGram
f a -> f a
The total for the "Idioms" part should be 40 points.
Assume that "T_Expr" has kind * and that "sem_if" has type "T_Expr -> T_Expr -> T_Expr -> T_Expr"?
- 31 Jan 2011