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 QAA13376; Mon, 3 May 2004 16:24:38 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA12723 for ; Mon, 3 May 2004 16:24:37 +0200 (MET DST) From: brogoff@speakeasy.net Received: from mail4.speakeasy.net (mail4.speakeasy.net [216.254.0.204]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i43EOZEV007827 for ; Mon, 3 May 2004 16:24:36 +0200 Received: (qmail 2087 invoked from network); 3 May 2004 14:24:32 -0000 Received: from grace.speakeasy.net ([216.254.0.22]) (envelope-sender ) by mail4.speakeasy.net (qmail-ldap-1.03) with AES256-SHA encrypted SMTP for ; 3 May 2004 14:24:32 -0000 Date: Mon, 3 May 2004 07:24:31 -0700 (PDT) To: caml-list Subject: Re: [Caml-list] [ANN] The Missing Library In-Reply-To: <1083588018.1643.156.camel@qrnik> Message-ID: 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> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at nez-perce with ID 40965623.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; brogoff:01 caml-list:01 marcin:01 'qrczak':01 kowalczyk:01 haskell-like:01 recursion:01 recursion:01 resizing:01 ditch:01 dynamically:01 ocaml:01 ocaml:01 speakeasy:01 rec:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, 3 May 2004, Marcin 'Qrczak' Kowalczyk wrote: > OCaml doesn't have Haskell-like type classes, polymorphic recursion nor 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? Other than that, I mostly agree (OK, I'd prefer a better solution than implicit stack resizing, like holes or promises, or whatever, for non tail rec list functions), but I'm not ready to ditch OCaml for a dynamically typed language. -- Brian ------------------- 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