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]

OOOntology -- was Re: records


> > Polymorphism means 
> No, polymorphism means
> > In other words: polymorphism means
> "Parametric polymorphism is referred to as generics.
> > > > the scheme `display' function is generic.  `+' is generic.
> Scheme has polymorphic functions, but it doesn't have a generic 
> > > genericity in the Eiffel sense is a non-issue in scheme 
> > I think it's the other way round.

> In C++/Eiffel terminology, ... From the OO FAQ...
> >   see his example in OOSC.
> > > Eiffel supports inheritance and a generic type
> > Eiffel supports only unconstrained genericity,
> Eiffel has supported constrained genericity as long as...
> 
> No. In Bertrand Meyer's terminology...
> `display' is generic.  See page 1168
>  I would hardly call this genericity.
> > From the OO FAQ...
> "Parametric polymorphism,... Ad-hoc polymorphism"
> 
> I don't know which terminology the "OO FAQ" uses but
>  apply the standard OO terminology
> "parametric polymorphism" is simply nonsense.
> 
> >  this comes from the type theory way
> > rather than oo terminology
> > as used in ...  when I was in school. 

One of the symptoms of the lack of rigorous "ontology" (as Ableson and
Sussman call it) is that any discussion of object-oriented programming
among people from different schools almost immediately turns into a
debate over the meaning of words, with many citations of incompatible
authorities.  The authority is never the dictionary or Knuth, and so
the debate rages on.

Show me the code!
  (Or maybe a well-written design.)
     (How about a theorem with a proof...?)
-- 
     -- Keith Wright  <kwright@free-comp-shop.com>

Programmer in Chief, Free Computer Shop <http://www.free-comp-shop.com>
         ---  Food, Shelter, Source code.  ---

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