On Feb 5, 2008 4:24 AM, John Meacham <[EMAIL PROTECTED]> wrote: > now when it came to record selection I was deciding between a couple. > > <...snip.../> > > ...declare that any identifier that _begins_ with ' always > refers to a label selection function > > 'x point
Say we go with 'x and allow it to pick the x field out of records. All records. Then we have implicitly defined a function 'x that accepts things in the HasAnX class. This class is also implicitly defined -- and things are added to it implicitly, too, by giving them an x. So, in a way, this is cool -- it's like structs but way less verbose. On the other hand, it seems awfully like something that could be handled as a templating thing. Since we already have templates, couldn't we just add a few default ones to GHC and be done with it? -- _jsn _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell