First class labels

John Meacham john at
Tue Feb 14 18:29:12 EST 2006

Yeah, I had a similar idea and think it would be nice. however I prefer
the idea of a 'magic module' so we don't eat up any syntax.

import Label

now Label.Foo will be a value of type Label.Foo for any value taken from

another possibility is to treat a leading ' as special 


this would be somewhat reminicent of lispy languages. we would need to
be careful to not collide with the character syntax though.

John Meacham - ⑆⑆john⑈

More information about the Haskell-prime mailing list