Tony Arcieri <basc...@gmail.com> on Fri, Nov 04 2016: > To parse and typecheck TJSON in one pass, it would involve obtaining the > parse tree for the LHS of parsing a particular nonterminal and pass it to > the pushdown automaton parsing the RHS as a sort of parametric argument > along with the remaining unconsumed tokens.
This sounds like monadic bind (>>=) which we have in Hammer (I implemented it), but it is for obvious reasons the single most general combinator. _______________________________________________ langsec-discuss mailing list langsec-discuss@mail.langsec.org https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
