From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA17314; Mon, 3 May 2004 17:26:45 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA17076 for ; Mon, 3 May 2004 17:26:44 +0200 (MET DST) Received: from qrnik.knm.org.pl (paf87.warszawa.sdi.tpnet.pl [217.96.225.87]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i43FQgSH001962 for ; Mon, 3 May 2004 17:26:43 +0200 Received: from qrnik ([192.168.0.1] ident=qrczak) by qrnik.knm.org.pl with esmtp (Exim 3.36 #1) id 1BKfL8-0001f5-00 for caml-list@inria.fr; Mon, 03 May 2004 17:26:42 +0200 Subject: Re: [Caml-list] [ANN] The Missing Library From: "Marcin 'Qrczak' Kowalczyk" To: caml-list In-Reply-To: References: <200404280613.19547.jdh30@cam.ac.uk> <1083141467.9537.845.camel@pelican.wigram> <200404281018.14913.jdh30@cam.ac.uk> <1083151482.9537.904.camel@pelican.wigram> <93ADD9EA-9936-11D8-BD03-000A958FF2FE@wetware.com> <1083173516.9537.1162.camel@pelican.wigram> <1083542538.9152.65.camel@qrnik> <1083570883.20722.536.camel@pelican.wigram> <1083574691.1643.55.camel@qrnik> <1083581924.20722.584.camel@pelican.wigram> <1083588018.1643.156.camel@qrnik> Content-Type: text/plain; charset=ISO-8859-2 Message-Id: <1083598002.1643.208.camel@qrnik> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.5.7 Date: Mon, 03 May 2004 17:26:42 +0200 Content-Transfer-Encoding: quoted-printable X-Miltered: at concorde with ID 409664B2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 marcin:01 'qrczak':01 kowalczyk:01 qrczak:01 brogoff:01 recursion:01 uglier:01 haskell:01 marcin:01 kowalczyk:01 qrczak:01 ocaml:01 0700,:01 speakeasy:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk W li=B6cie z pon, 03-05-2004, godz. 07:24 -0700, brogoff@speakeasy.net napisa=B3: > I think OCaml does support polymorphic recursion, in at least two nonidea= l > 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. --=20 __("< 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