From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id C2D6EBBCA for ; Tue, 13 May 2008 00:16:31 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnMAAAdeKEjUNQVclmdsb2JhbACSEQEBAQEJBQgHmgs X-IronPort-AV: E=Sophos;i="4.27,475,1204498800"; d="scan'208";a="12508999" Received: from postbode02.versateladsl.be ([212.53.5.92]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 May 2008 00:16:31 +0200 Received: (qmail 26644 invoked by uid 0); 12 May 2008 22:16:29 -0000 Received: from unknown (HELO poincare.swapping.umh.ac.be) ([83.182.214.27]) (envelope-sender ) by smtp.versateladsl.be (qmail-ldap-1.03) with SMTP for < >; 12 May 2008 22:16:29 -0000 Received: from [127.0.0.1] (helo=localhost ident=trch) by poincare.swapping.umh.ac.be with esmtp (Exim 4.69) (envelope-from ) id 1JvgJl-0006jU-IO; Tue, 13 May 2008 00:16:25 +0200 Date: Tue, 13 May 2008 00:16:25 +0200 (CEST) Message-Id: <20080513.001625.862190106975737597.Christophe.Troestler+ocaml@umh.ac.be> To: rathereasy@gmail.com Cc: OCaml Mailing List Subject: Re: [Caml-list] polymorphic recursion From: Christophe TROESTLER In-Reply-To: References: X-Face: #2fb%mPx>rRL@4ff~TVgZ"<[:,oL"`TUEGK/[8/qb58~C>jR(x4A+v/n)7BgpEtIph_neoLKJBq0JBY9:}8v|j Organization: University of Mons-Hainaut X-Mailer: Mew version 6.0.51 on Emacs 22.2 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; recursion:01 christophe:01 troestler:01 christophe:01 troestler:01 ocaml:01 ocaml:01 recursion:01 syntax:01 recursive:01 cheers:01 polymorphic:01 polymorphic:01 wrote:01 caml-list:01 On Mon, 12 May 2008 17:55:40 -0400, Jacques Le Normand wrote: > > does ocaml support polymorphic recursion and, if so, what's the syntax? Yes. There are a couple of ways to make it work, using polymorphic records or recursive modules. You should check the archives of this list for examples: http://groups.google.com/groups/dir?q=fa.caml Cheers, ChriS