This is the mail archive of the
guile@cygnus.com
mailing list for the Guile project.
Re: Polymorphism in Scheme (Re: records)
- To: forcer <forcer@mindless.com>
- Subject: Re: Polymorphism in Scheme (Re: records)
- From: Jost Boekemeier <jostobfe@linux.zrz.TU-Berlin.DE>
- Date: 05 Aug 1999 15:34:36 +0200
- Cc: guile@sourceware.cygnus.com
- References: <199907210938.CAA16432@mingle.glug.org> <m37lnsya34.fsf@savonarola.red-bean.com> <p2tiu7cbpdf.fsf@grapefruit.zrz.tu-berlin.de> <3794F0DA.ECEF06EC@tech.com.au> <p2temhz4jlt.fsf@grapefruit.zrz.tu-berlin.de> <37986F16.2750BBBB@tech.com.au> <p2tu2qvp7u3.fsf@grapefruit.zrz.tu-berlin.de> <37990441.DF571BFE@tech.com.au> <p2temhy454r.fsf@grapefruit.zrz.tu-berlin.de> <hhoggn769n.fsf_-_@forcix.roof.lan>
forcer <forcer@mindless.com> writes:
> # polymorphism:
> # A concept first identified by Christopher Strachey (1967) and
> # developed by Hindley and Milner, allowing types such as list of
> # anything.
This comes from type theorie. In the OO paradigm polymorphism
means "inclusion polymorphism" and OO's "genericity" means
"parametric polymorphism".
See discussion about polymorphism, genericity from Michael Schuerig.
Jost