On Fri, 2007-05-11 at 16:52 +0200, Loup Vaillant wrote:

> What exactly is more difficult (or less convinient) in Ocaml once you
> quit template metaprogramming?

C++ has polyadic programming which is flakey but sort of works
reasonably well in practice some of the time even though it
is technically unsound .. <:)

For example, 'fold' is defined for all data structures,
just once (it's called accumulate).

This is miles ahead of Ocaml and Haskell, however I'll
stick with correctness, thanks.

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net