PL-{GOTO}.NET: Eat it Before it Eats You

Friday, August 05, 2011

You've always wanted an compiler for the example primitive recursive language PL-{GOTO} from Brainerd and Landweber's Theory of Computation, haven't you? And you have a need for it to generate MSIL which can be fed into ilasmto produce a .NET executable, don't you? And you wouldn't be satisfied unless it were implemented in Haskell, with a true-to-form grammar parsed with a Parsec combinator parser, would you?

...

Why aren't you answering me???

Check it out at http://catseye.tc/projects/pl-goto.net/