[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.
[2] http://docs.racket-lang.org/reference/struct-generics.html
--
sam th
address@hidden