W li¶cie z pon, 03-05-2004, godz. 07:24 -0700, brogoff@speakeasy.net
napisa³:

> I think OCaml does support polymorphic recursion, in at least two nonideal
> ways, first through explicit polymorphism of record fields/polymorphic
> methods  and secondly through recursive modules. You disagree?

Ok, now it does. It didn't have polymorphic fields in records and
recursive modules not so long ago. And it looks uglier than in Haskell,
where the only thing you need to do is to provide an explicit type
signature of the function.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/


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