On Thu, May 20, 1999 at 01:14:31AM -0700, Aaron Van Couwenberghe wrote:
> On Thu, May 20, 1999 at 12:45:45PM +0200, Sven LUTHER wrote:
> > On Thu, May 20, 1999 at 12:44:02AM +0200, Marek Habersack wrote:
> > > * Aaron Van Couwenberghe said:
> > >
> > >
> > > > Polymorphism is such an obvious pillar of structured programming that I
> > > > can't understand how anybody could live without it.
> > > Is it? AFAICS none of the traditional languages like Pascal or C has
> > > polimorphism at its base...
> >
> > What you call polymorphism is just function name overloading, isn't it ? or
> > does C++ implement true polymorphism this days, like what ML does ?
>
> C++ has offered true polymorphism for some time, complete component
> interchangeability.
Something like
-----------------------------------
bash-2.02$ ocaml
Objective Caml version 2.02
# let id x = x ;;
val id : 'a -> 'a = <fun>
# id 0 ;;
- : int = 0
# id 1.2 ;;
- : float = 1.2
# id "hello" ;;
- : string = "hello"
# id id ;;
- : '_a -> '_a = <fun>
-----------------------------------
Not sure, but i think we are not talking with the same definition of
the same word ?
Friendly,
Sven LUTHER
