(Previous discussion continued)
Re: Exposing monomorphic predicates/accessors Andre van Tonder 16 Nov 2004 01:07 UTC

Re: Exposing monomorphic predicates/accessors Andre van Tonder 16 Nov 2004 01:07 UTC

Thank you, Jorgen.  I have in fact been using generic functions
(a very simple-minded, 35-line implementation) internally to test
these ideas.  That should be enough for the reference implementation, but
I will indeed have a look at Scheme48.

Cheers
Andre

On Mon, 15 Nov 2004, Jorgen Schaefer wrote:

> Are you aware of Scheme48's generic dispatch system? I'm not sure
> whether it's exactly what you want, but it gets close:
>
> -- Macro: define-simple-type typename (supertype ...) predicate
>
> Here, you probably want to use SRFI-9 type names instead of the
> predicate.
>
> Then, Scheme48 allows to define methods based on a generic
> procedure:
>
> -- Macro: define-generic proc-name method-table-name
> -- Macro: define-method method-table prototype body
>
> Again, probably not _exactly_ what you want, but close.
>
> I thought I'd make you aware of these. The source for these are in
> scheme48/scheme/rts/method.scm
>
> Greetings,
>        -- Jorgen
>
> --
> ((email . "xxxxxx@forcix.cx") (www . "http://www.forcix.cx/")
> (gpg   . "1024D/028AF63C")   (irc . "nick forcer on IRCnet"))
>
>