[Replying just to this small bit. Also not on guile-user, so please cc me on replies]
On Thu, Nov 8, 2012 at 3:46 PM, Ian Price <ianpric...@googlemail.com> wrote: > > At least, these are my immediate reactions, I will be happy to be proved > wrong. (I'm going to CC Typed Racket's SamTH, I expect a clos-like > solution has been suggested to him many times, and he might have some > better idea of the pros/cons of this) Racket does not make much use of CLOS-style object systems [1], so I haven't thought about adding something like this to Typed Racket. We've recently been developing a generics system in Racket [2], when it comes time to handle that in Typed Racket it may result in revisiting this question, although it is also single dispatch. Type systems for CLOS-like systems have been looked at in the past by Craig Chambers, among others. [1] Eli Barzilay has implemented one in Swindle, but it's rarely used. The class-based OO system in Racket *is* widely used. [2] http://docs.racket-lang.org/reference/struct-generics.html -- sam th sa...@ccs.neu.edu
