[langsec-discuss] TJSON: Tagged JSON with Rich Types

Sven M. Hallberg pesco at khjk.org
Mon Nov 7 10:07:51 UTC 2016

Tony Arcieri <bascule at 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

More information about the langsec-discuss mailing list