[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Typed Guile?

From: Sam Tobin-Hochstadt
Subject: Re: Typed Guile?
Date: Thu, 8 Nov 2012 16:51:18 -0500

[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.
sam th

reply via email to

[Prev in Thread] Current Thread [Next in Thread]