unique id for data types
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
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
More information about the Glasgow-haskell-users