English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Interfacing C++ and Ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-04-09 (15:19)
From: John Max Skaller <skaller@o...>
Subject: Re: Overloading again (Was Re: [Caml-list] Interfacing C++ and Ocaml)
Brian Rogoff wrote:
> On Mon, 2 Apr 2001, Jean-Marc Alliot wrote:
> > Fergus Henderson wrote:
> > > My opinion with regard to overloading is that what is really
> > > problematic about overloading in C++ is the *combination* of
> > > overloading and implicit conversions.
> I agree with Fergus on this. 

	This is not just a matter of opinion but mathematics.
There is a paper dealing with the interaction of generics
and implicit conversions which details conditions under which
both can coexist without ambiguity:

	Using Category Theory to Design Implicit Conversions
	and Generic Operators, John C  Reynolds, 
	Theoretical Aspects of Object-Oriented Programming,
	Gunter and Mitchell, MIT Press ISBN 0-262-07155-X

John (Max) Skaller, mailto:skaller@maxtal.com.au
10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850
checkout Vyper http://Vyper.sourceforge.net
download Interscript http://Interscript.sourceforge.net
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr