Guy Steele on Computer Science Metanotation

[Robert Koeninger]

https://www.youtube.com/watch?v=dCuZkaaou0Q

Interesting dive into notation used in computer science literature.

There's a part where he lists a series of notations that are common in CS, and says no programming language contains all of them.

It looks like Shen doesn't either, but does any other language come as close?

Shen has sequent notation for type rules, BNF-style grammars for parsing, and pattern matching, although it lacks regex-style patterns and repetition or range notation.

[Mark Tarver]

Shen has quite a few of the notations he mentions.  We don't have regex expressions though there was a regex matcher developed by Erik in the OS library.  I would think given the range of

notations he talks about, Shen probably has more than any language except maybe Poplog.  

So much of what he's doing in the early part of the talk - I'm skipping a bit - is working towards Shen.  I'd write to the guy if anybody knows his email.

Mark

[Tatsuya Tsuda]

If not late... I'm not posting his email address here, but it seems listed In his ACM profile page.

https://dl.acm.org/author_page.cfm?id=81100586340

2017年10月21日土曜日 6時32分00秒 UTC+9 Mark Tarver:

[Mark Tarver]

Thx;  I'll post to him.

Mark