3 ms·

The upper-right ? leads to a Twitter thread with more detail: https://twitter.com/dm_0ney/status/1414742742530498566?s=20 https://twitter.com/dm_0ney/status/14

• mananaysiempre 4y ago
  This is extremely cool, and it would also be interesting to work out the grammar formalism implied by this description (tile end shapes and sorts, “bidelimited” constructs). It’s likely more restrictive than just a context-free grammar (a mixfix precedence parser?), but that’s not necessarily a problem. ETA: More relared work at Michigan apparently goes by the name Hazel[1]. There was a recorded talk[2] at LIVE 2021. The textual version has been removed[3] from the repo for some reason(?) but remains on the website[4]. The authors suggest the relevant class of languages is “visibly pushdown”[5]. Also looks like a match made in heaven for an Explain Shell[6]-alike. [1] https://hazel.org/ https://hazel.org/, https://web.eecs.umich.edu/~comar/ https://web.eecs.umich.edu/~comar/ [2] https://2021.splashcon.org/details/live-2021-papers/4/Restructuring-Structure-Editing https://2021.splashcon.org/details/live-2021-papers/4/Restru..., https://liveprog.org/live-2021/Restructuring-Structure-Editing.mp4 https://liveprog.org/live-2021/Restructuring-Structure-Editi... [3] https://github.com/hazelgrove/tylr/commit/1db7a2b2a2ed263183cdaef30a005114f4aa83d7 https://github.com/hazelgrove/tylr/commit/1db7a2b2a2ed263183... [4] https://tylr.fun/essay/ https://tylr.fun/essay/ [5] https://www.csa.iisc.ac.in/~deepakd/atc-common/vpa-stoc04.pdf https://www.csa.iisc.ac.in/~deepakd/atc-common/vpa-stoc04.pd... [6] https://explainshell.com/ https://explainshell.com/, https://news.ycombinator.com/item?id=6296634 https://news.ycombinator.com/item?id=6296634