[Template-haskell] Reification

Simon Peyton-Jones simonpj at microsoft.com
Thu Nov 6 08:31:47 EST 2003


| > 	reify :: Var -> Q Dec
| 
| I still prefer "Name" to "Var" (assuming I'm not confused and you can
| give it the name of a class, type or whatever).

Yes, you may be right.  I'd be interested to hear other opinions.  These
naming issues are always contentious.  Remember that this new data type
(Var or Name or whatever we decide to call it) is pretty ubiquitous.
It's going to replace pretty much all the occurrences of String in the
Exp, Dec etc data types. E.g.

	data Exp = Var Name
		   | Lam Name Exp
etc

Simon




More information about the template-haskell mailing list