YAPB: Yet Another Parser Builder

A programmable parser builder system

• Allows to write LALR(1) parser specifications in Haskell
• Provides an automatic syntax completion method

Library, tools, and examples

• yapb: a library for a programmable parser builder system
• yapb-exe: a wrapper interface to YAPB
• conv-exe: a grammar format utility for conversion of a readable grammar (.lgrm) format into the Haskell data format (.grm)
• Examples:
  • parser-exe: an arithmetic parser
  • ambiguous-exe: an arithmetic parser with the ambiguous grammar but backed by precedence attributes
  • error-exe: a demo for error recovery by an interplay between a lexer and a parser through a monadic interface
  • syncomp-exe: a syntax completion server for Emacs

Applications using YAPB:

• Microsoft SmallBasic parser: https://github.com/kwanghoon/sbparser
• Polyrmorphic RPC calculus parser: https://github.com/kwanghoon/polyrpc
• C11 parser: https://github.com/kwanghoon/c11parser
• EOPL interpreters: https://github.com/kwanghoon/Lecture_EOPL_Exercise (Its solution Lecture_EOPL also available in private)

Download, build, and test

  $ git clone https://github.com/kwanghoon/yapb
  $ cd yapb
  $ stack build
  $ stack test

Tutorial

• As a tutorial, the most up-to-date examples are available in app/{parser,ambiguous,error,syntaxcompletion}.
• For parser: Parser generators sharing LR automaton generators and accepting general purpose programming language-based specifications Written in Korean.
• For syntax complection with YAPB-0.1.2: A text-based syntax completion method using LR parsing (PEPM 2021).

Reference

• References