Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] [ANN] The Missing Library
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Marcin 'Qrczak' Kowalczyk <qrczak@k...>
Subject: Re: [Caml-list] [ANN] The Missing Library
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