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

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Mar 5 08:18:11 EST 2012

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

Posted on the users mailing list.