To Take Code From
Swierstra
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):
page 2:
"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
in quotes.
page 5:
The type of split is:
split :: Alternative f => TopGram? f a -> f a
page 6:
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"?
-- DoaitseSwierstra - 31 Jan 2011
- Exam.lhs: The source code of the exam