[Template-haskell] Reification

Gabriel Dos Reis gdr at integrable-solutions.net
Thu Nov 6 21:29:36 EST 2003


"Simon Peyton-Jones" <simonpj at microsoft.com> writes:

| | > 	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

Such an example of use cases makes me prefer Name.  But, it is a minor
issue I guess.

-- Gaby
 


More information about the template-haskell mailing list