unique id for data types

Simon Peyton-Jones simonpj at microsoft.com
Wed Sep 19 03:14:02 EDT 2007

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.


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

More information about the Glasgow-haskell-users mailing list