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

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