Conversation

PL papers are hard to read, and LaTeX / PDF doesn't make it easier. So I decided to make the LaTeX of the future. You can check out in my HATRA'21 paper: "A New Medium for Communicating Research on Programming Languages" willcrichton.net/nota/

217

775

Brendan Zabarauskas

@brendanzab

Sep 29, 2021

Nice work! I've wondered if we could do something similar for language specs. I'd like to be able to produce a 'database of rules'. So you could see all the typing rules at once, or focus on the syntax, elaboration, typing, and evaluation for a specific construct, eg. functions.

Brendan Zabarauskas

@brendanzab

Sep 29, 2021

Also producing an index would be incredibly handy too. The web assembly spec seems like a cool step in the right direction for example, but I think there's even more that could be done in terms of interactive presentations of language specifications.

Brendan Zabarauskas

@brendanzab

Sep 29, 2021

I'm also interested in if we could tweak the notation to be more friendly to programmers - eg. having more words in the identifiers, and using different styling for non-terminals, some more (not very developed) thoughts were here:

gist.github.com

communicating-type-theory.md

GitHub Gist: instantly share code, notes, and snippets.

Replying to

and

But yeah, I assume the stuff you are showing is not tied to a specific notation!

2:14 AM · Sep 29, 2021Twitter Web App