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 SAA15072; Mon, 1 Sep 2003 18:14: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 SAA13141 for <caml-list@pauillac.inria.fr>; Mon, 1 Sep 2003 18:14:37 +0200 (MET DST)
Received: from smtp.wp.pl (smtp.wp.pl [212.77.101.161])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h81GEYT25898
	for <caml-list@inria.fr>; Mon, 1 Sep 2003 18:14:35 +0200 (MET DST)
Received: (WP-SMTPD 10225 invoked from network); 1 Sep 2003 16:14:31 -0000
Received: from pc59.legnica.cvx.ppp.tpnet.pl (HELO ppp) (luk_stafi@[213.77.239.59])
          (envelope-sender <luk_stafi@wp.pl>)
          by smtp.wp.pl (wp-smtpd) with SMTP
          for <caml-list@inria.fr>; 1 Sep 2003 16:14:30 -0000
Message-ID: <000e01c370a4$592d6300$3bef4dd5@ppp>
From: "Lukasz Stafiniak" <luk_stafi@wp.pl>
To: <caml-list@inria.fr>
Subject: [Caml-list] Let-in vs beta-redex
Date: Mon, 1 Sep 2003 18:15:54 +0200
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-2"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 5.50.4133.2400
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
X-AntiVirus: skaner antywirusowy poczty Wirtualnej Polski S. A.
X-WP-ChangeAV: 0
X-Loop: caml-list@inria.fr
X-Spam: no; 0.00; lukasz:01 luk:99 lukasz:01 let:04 efficient:05 equivalent:05 fun:08 regards:22 advance:23 they:33 you:63 than:37 are:41 thank:58 sin:54 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

Hi,

Is let-in more efficient than beta-redex or are they computationally
equivalent? Is let-in a syntax-sugar of beta-redex?

E.g.

let x = sin 2. in x *. x *. x;;

(fun x -> x *. x *. x) (sin 2.);;

Thank You in advance,
Kindest Regards,
Lukasz



-------------------
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