Re: Paper: Syntactic Completions with Material Obligations

Derek <derek-nospam@shape-of-code.com>
Thu, 28 Aug 2025 22:36:38 +0100

          From comp.compilers

Related articles
Paper: Syntactic Completions with Material Obligations johnl@taugh.com (John R Levine) (2025-08-26)
Re: Paper: Syntactic Completions with Material Obligations derek-nospam@shape-of-code.com (Derek) (2025-08-28)
| List of all articles for this month |
From: Derek <derek-nospam@shape-of-code.com>
Newsgroups: comp.compilers
Date: Thu, 28 Aug 2025 22:36:38 +0100
Organization: Compilers Central
References: 25-08-018
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="16271"; mail-complaints-to="abuse@iecc.com"
Keywords: parse, errors
Posted-Date: 28 Aug 2025 17:57:23 EDT
In-Reply-To: 25-08-018

John,


> This paper proposes a code editor and parser using obligations, a term I
> had not seen before and they do not define, but appears to mean


It looks like they are making terms up to make the work sound
dramatic, e.g., panicking parser.


> pseudo-tokens that require other tokens later to make them valid. They seem to
> do better at recovering from syntax errors than other schemes do.


No mention of trial parsing, which has been around since
the 1960s.


> https://arxiv.org/abs/2508.16848


Nothing to see here. This is just a mathematical orgasm paper.


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.