From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <circularfunc@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.8 required=5.0 tests=DNS_FROM_RFC_POST,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id BB325BB84
	for <caml-list@yquem.inria.fr>; Wed, 13 Aug 2008 14:49:31 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvwAABx1okhA6bLzmmdsb2JhbACROD4BAQEBAQYHCAcRA50dh0gBAg
X-IronPort-AV: E=Sophos;i="4.32,201,1217800800"; 
   d="scan'208";a="13965380"
Received: from hs-out-0708.google.com ([64.233.178.243])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Aug 2008 14:49:31 +0200
Received: by hs-out-0708.google.com with SMTP id h53so1008158hsh.11
        for <caml-list@yquem.inria.fr>; Wed, 13 Aug 2008 05:49:30 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:to
         :subject:mime-version:content-type:content-transfer-encoding
         :content-disposition;
        bh=K9FyiBKweh6H4sWxL+LnbZWyrpXqItozT1SbvFjTjqw=;
        b=mMtXI637DFuVT6N3kySvnbXANKeIgrSLuh3/H/pS+ZqLNVgP370M0Ekrg+6WqAbOra
         W9cWNe9zn5PCQEuB2Jr2OTBuBFmayMWpXjwbHBrFq7SdhLAA4oyz1nK/bXsw6L2rgkqK
         rDuHkKK6bwuCK7gmz8kswdAp63v1jWHzHPrY0=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:mime-version:content-type
         :content-transfer-encoding:content-disposition;
        b=XTzV442VPbLFBT+YiIgOgphHg2luLZmo2qjVB0MKg2S/cIKvf4tftR5mirdr89hG11
         VvqDvGcfAlgsrweN4H9rknpu4SiX0xtxeihoHR6nu9tkk/sfqSZrzMYBuVu5NbL0X50R
         kErMmxCHX4IebHdgS6ANkTr8wq7XFIDM7cpw4=
Received: by 10.90.53.1 with SMTP id b1mr5575168aga.56.1218631770090;
        Wed, 13 Aug 2008 05:49:30 -0700 (PDT)
Received: by 10.90.113.9 with HTTP; Wed, 13 Aug 2008 05:49:30 -0700 (PDT)
Message-ID: <d5f6b0140808130549m195f1247t7ecb00649d95d0bf@mail.gmail.com>
Date: Wed, 13 Aug 2008 14:49:30 +0200
From: "circ ular" <circularfunc@gmail.com>
To: caml-list@yquem.inria.fr
Subject: Difference between "let rec" and just "let"?
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
X-Spam: no; 0.00; val:01 val:01 rec:01 rec:01 int:01 int:01 let:03 let:03 seem:08 fun:08 fun:08 circ:13 between:13 between:13 difference:14 

what is the difference between "let rec" and just "let"? what does rec
stand for?

are the following defintions exactly the same? at least they seem to
give the same results...

# let rec cube x = x*x*x;;
val cube : int -> int = <fun>
# cube 12;;
- : int = 1728

# let cubex x = x*x*x;;
val cubex : int -> int = <fun>
# cubex 12;;
- : int = 1728
#