unique id for data types

[Simon Peyton-Jones]

Well done Stefan, for reminding us that it can be done today without the magic.

Still it's kind-of-inefficient to encode the name of the type constructor that way.  There's a case for adding some built in constants at the type level (numbers, strings) and operators over them.


Simon

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-users-bounces at haskell.org] On
| Behalf Of Barney Hilken
| Sent: 18 September 2007 23:29
| To: Stefan O'Rear
| Cc: glasgow-haskell-users at haskell.org
| Subject: Re: unique id for data types
|
| Ah! your link lead me to the HList paper, where all questions are
| answered...
|
| Thanks,
|
| Barney.
|
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users