Re: scope / order | Simplelists

Show/hide message thread

New draft (#5) and last call for comments on SRFI 257: Simple extendable pattern matcher with backtracking Arthur A. Gleckler (18 Oct 2025 08:43 UTC)

Re: New draft (#5) and last call for comments on SRFI 257: Simple extendable pattern matcher with backtracking Daphne Preston-Kendal (18 Oct 2025 08:53 UTC)

Re: New draft (#5) and last call for comments on SRFI 257: Simple extendable pattern matcher with backtracking Arthur A. Gleckler (18 Oct 2025 08:56 UTC)

Re: New draft (#5) and last call for comments on SRFI 257: Simple extendable pattern matcher with backtracking Sergei Egorov (19 Oct 2025 19:17 UTC)

Re: New draft (#5) and last call for comments on SRFI 257: Simple extendable pattern matcher with backtracking Daphne Preston-Kendal (20 Oct 2025 13:00 UTC)

Re: New draft (#5) and last call for comments on SRFI 257: Simple extendable pattern matcher with backtracking Marc Nieper-Wißkirchen (20 Oct 2025 13:07 UTC)

Re: New draft (#5) and last call for comments on SRFI 257: Simple extendable pattern matcher with backtracking Sergei Egorov (20 Oct 2025 15:52 UTC)

Re: New draft (#5) and last call for comments on SRFI 257: Simple extendable pattern matcher with backtracking Wolfgang Corcoran-Mathe (20 Oct 2025 16:39 UTC)

Re: scope Sergei Egorov (20 Oct 2025 17:08 UTC)

Re: scope / order Sergei Egorov (20 Oct 2025 17:34 UTC)

Re: scope / order Daphne Preston-Kendal (25 Oct 2025 10:55 UTC)

Re: scope / order Marc Nieper-Wißkirchen (25 Oct 2025 11:36 UTC)

Re: scope / order Sergei Egorov (25 Oct 2025 15:05 UTC)

Re: scope / order Arthur A. Gleckler (25 Oct 2025 18:30 UTC)

Re: scope / order Daphne Preston-Kendal (26 Oct 2025 21:56 UTC)

Re: scope / order Daphne Preston-Kendal (26 Oct 2025 22:22 UTC)

Re: scope / order Sergei Egorov (26 Oct 2025 23:49 UTC)

Re: scope / order Arthur A. Gleckler (27 Oct 2025 00:05 UTC)

Re: scope / order Sergei Egorov (27 Oct 2025 00:11 UTC)

Re: scope / order Marc Nieper-Wißkirchen (27 Oct 2025 09:22 UTC)

Re: scope / order Daphne Preston-Kendal (27 Oct 2025 09:42 UTC)

Re: scope / order Marc Nieper-Wißkirchen (27 Oct 2025 10:14 UTC)

Re: scope / order Sergei Egorov (27 Oct 2025 16:46 UTC)

Re: scope / order Daphne Preston-Kendal (26 Nov 2025 23:00 UTC)

Re: scope / order Sergei Egorov (27 Nov 2025 01:14 UTC)

Re: scope Daphne Preston-Kendal (20 Oct 2025 18:48 UTC)

Re: scope Sergei Egorov (20 Oct 2025 20:40 UTC)

Re: scope Wolfgang Corcoran-Mathe (20 Oct 2025 21:56 UTC)

Re: New draft (#5) and last call for comments on SRFI 257: Simple extendable pattern matcher with backtracking Peter McGoron (20 Oct 2025 23:00 UTC)

Re: New draft (#5) and last call for comments on SRFI 257: Simple extendable pattern matcher with backtracking Sergei Egorov (20 Oct 2025 23:07 UTC)

Re: New draft (#5) and last call for comments on SRFI 257: Simple extendable pattern matcher with backtracking jobol (22 Oct 2025 09:00 UTC)

Re: scope / order Daphne Preston-Kendal 26 Nov 2025 22:59 UTC

A coda:

Wolfgang just pointed me to this paper, which suggests that it is may not in fact be possible to solve the scope problem reliably in a pattern matcher based purely on syntax-rules:

<https://users.soe.ucsc.edu/~lkuper/papers/lambdae.pdf>

Daphne