Comments on: A merry gang http://programming-musings.org/2009/06/19/a-merry-gang/ random thoughts on programming and programming languages Sun, 22 Apr 2012 00:53:21 +0000 hourly 1 http://wordpress.com/ By: Jos Koot http://programming-musings.org/2009/06/19/a-merry-gang/#comment-30957 Fri, 19 Jun 2009 17:42:02 +0000 http://programming-musings.org/?p=242#comment-30957 Jao, thanks for I nice survey of our first meeting. And for your kind words.

There is a typo (mine) in the third line of the grammar of MIU: replace 2 with 1. (The source code does not have this typo)

I would like to add that in my talk I did not come so far as showing redex-match and redex-check. Only after my talk I mentioned it at the table with refreshments. These two tools are very important when designing a grammar and its semantics, for you certainly will want to check that the grammar and semantics have the desired properties (for example being normalizing) and inspect for errors, typos of course, but more importantly: fundamental design errors.

I am sure I’ll attribute a lightning talk next July 22nd, although at the moment I don’t yet know about what.

Jos

]]>