From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id CBD65BC37 for ; Tue, 9 Feb 2010 23:28:01 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnkCAMZvcUvU4366kGdsb2JhbACDCZddFQEBAQEJCQwHEwMgrRyQQAKBLYJKWwQ X-IronPort-AV: E=Sophos;i="4.49,438,1262559600"; d="scan'208";a="56561667" Received: from moutng.kundenserver.de ([212.227.126.186]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Feb 2010 23:28:01 +0100 Received: from office1.lan.sumadev.de (dslb-188-097-013-108.pools.arcor-ip.net [188.97.13.108]) by mrelayeu.kundenserver.de (node=mreu1) with ESMTP (Nemesis) id 0MGDw3-1NT8iN3USF-00FLdv; Tue, 09 Feb 2010 23:28:00 +0100 Received: from [192.168.5.104] (dslb-188-097-013-108.pools.arcor-ip.net [188.97.13.108]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id A47D25F702; Tue, 9 Feb 2010 23:28:00 +0100 (CET) Subject: Re: [Caml-list] The need to specify 'rec' in a recursive function defintion From: Gerd Stolpmann To: guillaume.yziquel@citycable.ch Cc: saptarshi.guha@gmail.com, caml-list@yquem.inria.fr In-Reply-To: <4B71DA88.8040902@citycable.ch> References: <1e7471d51002091250of7a686fq537a03c9401c868f@mail.gmail.com> <1265752863.5482.42.camel@flake.lan.gerd-stolpmann.de> <4B71DA88.8040902@citycable.ch> Content-Type: text/plain; charset=utf-8 Date: Tue, 09 Feb 2010 23:34:14 +0100 Message-Id: <1265754854.5482.44.camel@flake.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: quoted-printable X-Provags-ID: V01U2FsdGVkX1/cmV1MxiwnQJypCLEbepXqjjyxE/pnO8Wzaoa owGUk5mWPRiAFDLPXT9Xer6T9fQRWxnxMVTuBhj4azni0ndAil GKu6aj0jGO5hzTQInayHQ== X-Spam: no; 0.00; recursive:01 defintion:01 gerd:01 stolpmann:01 gerd:01 guillaume:01 stolpmann:01 recursion:01 darmstadt:01 6151:01 6151:01 dienstag:98 dienstag:98 polymorphic:01 rec:01 Am Dienstag, den 09.02.2010, 22:58 +0100 schrieb Guillaume Yziquel: > Gerd Stolpmann a =C3=A9crit : > > Am Dienstag, den 09.02.2010, 15:50 -0500 schrieb Saptarshi Guha: > >=20 > > Besides the different way of defining "let" and "let rec" there are a= lso > > differences in typing. Well, at least you can have new effects. Look for "polymorphic recursion". Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany=20 gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------