6 releases

0.3.0 Oct 26, 2024
0.2.1 Oct 18, 2024
0.1.2 Oct 10, 2024

#522 in Programming languages

Download history 370/week @ 2024-10-09 260/week @ 2024-10-16 122/week @ 2024-10-23 9/week @ 2024-10-30

392 downloads per month

BSD-2-Clause

115KB
2K SLoC

welly-parser

An artisanal parser for the Welly programming language.

It's a recursive descent parser, hand-written (i.e. not using a parser library). It should be fast by design, but I haven't put any effort into optimising it.

Status

The API is incomplete and in flux. The syntax is in less flux, but could still change in the details.

Missing features that I do plan to include in the first release include some type literals. Missing features that I don't plan for the first release include floating point literals. These will be added later.

Syntax choices

It is a two-pass parser:

  • The first pass accepts a significant superset of Welly syntax, while getting the correct structure for syntactically correct programs. Some trivial things are not fully disambiguated; for example numbers and identifiers both parse as type word::AlphaNumeric.
  • The second pass rejects many incorrect programs, generating helpful errors, and fully disambiguates everything. It still accepts a superset of Welly syntax. For example, it will accept fn(4+5) {} and 4+5 = foo; which are not legal in Welly. It also accepts some extra syntax that I plan to use in experimental versions of Welly, e.g. $x, &x and x?.

Whitespace and comments are removed. Comments in "doc string positions" will probably be preserved in a future version. If a parse error occurs, the parser does not make a parse tree. Because of these losses, this parser is not suitable for use in a code reformatter.

This parser is suitable for use in a REPL (Read-Eval-Print Loop). Specifically, if you type in half a source file and press "Enter", the parser will not return an incorrect parse tree by mistake, but will instead wait for more input. An example REPL is provided (use cargo run).

Dependencies

~240KB