This is the mail archive of the guile@cygnus.com mailing list for the Guile project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: Polymorphism in Scheme (Re: records)


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

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]