First class labels

John Meacham john at repetae.net
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
Label.


another possibility is to treat a leading ' as special 

 'foo

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


        John
-- 
John Meacham - ⑆repetae.net⑆john⑈


More information about the Haskell-prime mailing list