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] generic programming
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Peter Wood <peter.wood@w...>
Subject: Re: [Caml-list] Re: generic programming
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


Here's an interesting (though old) article by Henry Baker, "Iterators:
Signs of Weakness in Object-Oriented Languages".

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: