hi,

the caml archives show discussion around C++ polymorphism wrt STL
(since Stepanov iirc said that C++ was the only language which
supported what he needed to let him implement his generic programming)
but i didn't yet see anywhere a concrete implementation or mapping
from C++ STL to O'Caml.

i'm just trying to get my head around what it might look like, and
if/how it might be useful. (it just bugs me that somebody can claim
that C++ is the /only/ language that could do it -- maybe the real
quote implied "mainstream" or something. apparently Ada wasn't up to
snuff http://www.sgi.com/tech/stl/drdobbs-interview.html)

sincerely.