Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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,
10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850
checkout Vyper
download Interscript
To unsubscribe, mail  Archives: