30 Sep
2011
30 Sep
'11
3:59 a.m.
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