Reference on "A language to create documents"

Hello

A few months ago there was a post about a new language that was used to create documents and that language was based on Racket.

The linked post was going on about the need to create a language to handle this task, what current tools (like various notebook-style tools) get wrong and how they can be extended and there was also a "demo" of the language, creating documents for the web. I also distinctly remember the expression "building up a document"... It was definitely closer to an academic writeup.

Does this ring any bells with anyone? I am looking for that link but the obvious searches return a lot of "noise" :confused:

All the best

You might be thinking of Will Crichton and Shriram Krishnamurthi, “A Core Calculus for Documents: Or, Lambda: The Ultimate Document” (POPL2024).

Will, @samth, and I got into a discussion on Mastodon about how its analytic categories apply to Scribble.

4 Likes

YES!!!

Thank you very much. It helped me track down the original link I remember.

1 Like