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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 96E1FBC54 for ; Wed, 10 Feb 2010 11:15:21 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApYAAPMVckuLEwExkWdsb2JhbACafgEBAQEUCgcTBR6uAgGODwWEVQ X-IronPort-AV: E=Sophos;i="4.49,442,1262559600"; d="scan'208";a="52330146" Received: from infao0809.mpi-sb.mpg.de (HELO hera.mpi-sb.mpg.de) ([139.19.1.49]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 10 Feb 2010 11:15:21 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mpi-sb.mpg.de; s=mail200803; h=Message-ID:In-Reply-To: References:Date:Subject:From:To:MIME-Version:Content-Type: Content-Transfer-Encoding; bh=y1AH0sI1UxqlR0O7PGZAv98QxdlkpZIlYo 4109YrPH0=; b=RrzvKO4z+gJjd+9YSBbqtD0Yzf/v5KMCoVEJgIJE4lXu1JsMwG pYrtpaxLXEKFo08rKDJvAldSs+no5MKZzMpDQURGlisQoit78aQlROJZhqZqoZXK S11Jr5DU5CfWqt0VDzbjFqmbDdv8yBvc8slyNrVSSNSWVFHXl32+7VD0w= Received: from infao0525.mpi-sb.mpg.de ([139.19.1.26]:43514 helo=newmaniac.mpi-sb.mpg.de) by hera.mpi-sb.mpg.de (envelope-from ) with esmtp (Exim 4.69) id 1Nf9bK-00040q-1y for caml-list@yquem.inria.fr; Wed, 10 Feb 2010 11:15:20 +0100 Received: from www-data by newmaniac.mpi-sb.mpg.de with local (Exim 4.63) (envelope-from ) id 1Nf9bJ-0002Yv-N2 for caml-list@yquem.inria.fr; Wed, 10 Feb 2010 11:15:17 +0100 Received: from 80.146.185.83 (SquirrelMail authenticated user rossberg) by mail.mpi-sws.org with HTTP; Wed, 10 Feb 2010 11:15:17 +0100 (CET) Message-ID: <87de845d736572691a4d5c828010671a.squirrel@mail.mpi-sws.org> In-Reply-To: <201002092329.44598.jon@ffconsultancy.com> References: <1e7471d51002091250of7a686fq537a03c9401c868f@mail.gmail.com> <1265752863.5482.42.camel@flake.lan.gerd-stolpmann.de> <201002092329.44598.jon@ffconsultancy.com> Date: Wed, 10 Feb 2010 11:15:17 +0100 (CET) Subject: Re: [Caml-list] The need to specify 'rec' in a recursive function defintion From: rossberg@mpi-sws.org To: caml-list@yquem.inria.fr User-Agent: SquirrelMail/1.4.15 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-15 Content-Transfer-Encoding: 8bit X-Priority: 3 (Normal) Importance: Normal X-Spam: no; 0.00; recursive:01 defintion:01 rossberg:01 gerd:01 stolpmann:01 recursive:01 ocaml:01 abbreviation:01 val:01 sml:01 wrote:01 rec:01 defines:01 andreas:01 caml-list:01 Jon Harrop: > On Tuesday 09 February 2010 22:01:03 Gerd Stolpmann wrote: >> In the ML community it is consensus that a recursive function is a total >> different thing than a non-recursive function... > > Note that Standard ML does this differently to CAML/OCaml. Not quite -- SML simply defines "fun f x = ..." to be an abbreviation for "val rec f = fn x => ...". /Andreas