English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2002-07-03 (21:53)
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 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