]> On Wed, Jul 03, 2002 at 10:29:09AM -0700, Chris Hecker wrote: > > >> Is generic programming possible with O'Caml? > >Sure it is possible ! > > Is it, in the sense that Stepanov and those guys mean it? John Max Skaller > and I were talking about this a long time ago, and I thought he posted this > to the list but it turns out it was in email to me, but here goes anyway: > > "Sure. I have a 'problem' example: try to implement STL iterators > in Caml. I don't have the expertise in Caml: I think this requires > 'higher order functors'. Several people have attempted this, no one > has succeeded that I know of." > > Perhaps he's reading and can explain some of the problems. > > Caml polymorphism&functors and C++ templates seem to have different > properties, and I wonder what you can and can't write in each. > > Chris Hi, Here's an interesting (though old) article by Henry Baker, "Iterators: Signs of Weakness in Object-Oriented Languages". http://linux.rice.edu/~rahul/hbaker/Iterator.html Regards, Peter ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners