[Haskell-cafe] CFG specification and analysis directly in Haskell
apfelmus at quantentunnel.de
Fri Sep 30 09:59:56 CEST 2011
Anton Tayanovskyy wrote:
>> John Meacham's frisby library  did something similar, though the
>> technique is not as well-known as it should be.
> Looks like an excellent library, thank you!
>> Note that you don't need to give explicit names to your rules anymore, the
>> monad can do that for you.
> I was using the names for a Show instance. I am assuming there is no
> syntax sugar to recover the name of the variable used in a binder as a
Ah, good point. There is no referentially transparent way to recover the
name of a variable.
More information about the Haskell-Cafe