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


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