Re: Typed Guile?

[Sam Tobin-Hochstadt]

[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 <address@hidden> 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
address@hidden