Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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