Version française
Home     About     Download     Resources     Contact us    
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: Chris Hecker <checker@d...>
Subject: Re: [Caml-list] Re: generic programming

> > 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

-------------------
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