On 8/11/26 01:28, Marc Nieper-Wißkirchen wrote:
 > If you want to simplify writing SRFIs, devise a markup language (e.g.
 > some XML application) that can be compiled to semantic HTML5.

I'll note that the current R7RS-Large drafts are written in a dialect of
DocBook that compiles to XHTML 1.1 + MathML. (This could be pretty
easily retooled to an XHTML 1.1/HTML5 polyglot.)

The DocBook dialect has special elements for procedure prototypes,
expression syntax (including macros), and EBNF for lexical syntax.

https://codeberg.org/scheme/r7rs/src/branch/main/doc/example.md

It's somewhat messy because it is custom-made for the R7RS-Large drafts,
but in the future I want to make it a superset of DocBook 5 so that one
can write marked up documentation with clear semantics for Scheme
procedures/macros. And that would work pretty well for an SRFI.

-- Peter McGoron