[Haskell-cafe] Combining Wouter's expressions with extensible records

Ron Alford ronwalf at volus.net
Thu Jul 10 10:45:33 EDT 2008


Or, if people have easy-enough extensible records that /will/ work
with funky types, I'd be happy to use those!

-Ron

On Thu, Jul 10, 2008 at 10:29 AM, Ron Alford <ronwalf at volus.net> wrote:
> On Wed, Jul 9, 2008 at 11:01 PM, Antoine Latter <aslatter at gmail.com> wrote:
>>
>> It isn't immediately obvious to me that the "Typeable" family of
>> classes deal at all with higher-kinded type constructors, but I didn't
>> look that hard.
>>
>
> Yes, that's what I'm worried about.  For people's fun and amusement,
> I've attached the file.  The trailing comments show what I'm trying to
> accomplish (getName, setName, and so forth).
>
> -Ron
>


More information about the Haskell-Cafe mailing list