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

[Heinrich Apfelmus]

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

--
http://apfelmus.nfshost.com