[racket] Type-class-like idiom in Racket?

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Mon Mar 5 08:27:38 EST 2012

On Mon, Mar 5, 2012 at 8:18 AM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
>
> On Mar 4, 2012, at 11:36 PM, Helmut Rohrbacher wrote:
>
>> Danny & Matthias,
>>
>> I hadn't known about structure properties. I think lumping enough syntactic sugar onto your syntax definitions, Matthais, might make it feasible to reproduce something to provide the functionality I'm looking for.
>>
>> The only thing is, how do you extend these properties to built-in types like LIST and VECTOR? I'm guessing that you'd need to wrap them in a user-defined type...
>
>
> I imagine that one could use impersonators for vectors and _mutable_ lists. -- Matthias

Unfortunately, mpairs do not currently support chaperones or impersonators.
-- 
sam th
samth at ccs.neu.edu

Posted on the users mailing list.