[Haskell-cafe] CFG specification and analysis directly in Haskell

Heinrich Apfelmus apfelmus at quantentunnel.de
Fri Sep 30 09:59:56 CEST 2011

Anton Tayanovskyy wrote:
>> John Meacham's frisby library [1] 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
> String.

Ah, good point. There is no referentially transparent way to recover the 
name of a variable.

Best regards,
Heinrich Apfelmus


More information about the Haskell-Cafe mailing list