29 Dec
2008
29 Dec
'08
6:57 p.m.
Jake McArthur schrieb:
Henning Thielemann wrote:
I found it especially enlightening, that one can avoid a 'force' function in a lazy parser by making the possibility of a parser failure explicit in its type. I.e. a parser that cannot fail, need no 'force'. (I learnt that in polyparse the 'force' function is hidden in 'apply':
I'm curious, what is the difference between using a force function and using lazy pattern matching?
Erm, nothing? Because 'force' is implemented by lazy pattern matching.