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