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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 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 26634BC6B for ; Wed, 7 Nov 2007 04:39:41 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAF7CMEfAXQInh2dsb2JhbACOfgEICik X-IronPort-AV: E=Sophos;i="4.21,381,1188770400"; d="scan'208";a="4131860" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 07 Nov 2007 04:39:41 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lA73denZ007458 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 7 Nov 2007 04:39:40 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAF7CMEdA6ba9i2dsb2JhbACOfgEIAgYTEQU X-IronPort-AV: E=Sophos;i="4.21,381,1188770400"; d="scan'208";a="19015877" Received: from nf-out-0910.google.com ([64.233.182.189]) by mail4-smtp-sop.national.inria.fr with ESMTP; 07 Nov 2007 04:39:40 +0100 Received: by nf-out-0910.google.com with SMTP id g13so1681477nfb for ; Tue, 06 Nov 2007 19:39:39 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; bh=hE97q+OlhcXtZ5ts6NHsZAzwyZfpcddv56bTZJEpsLs=; b=FaiWD5No94jtPukMCHxiAVKBFauY3Z/tQeSwtXI3QjqszLrCRSyu+2/OgBYsQQh8QUOG4YFHujg1f3+tFxX4Dzh+UJ7g2Op2kSXaPJjKwhZamKo5ZMOqkmMhkZ4BfproD/l6Rt/qYycXYSOcDm2/70J9g8053bZYuRDm5DtYd5Q= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=cTO0TFhJ7IHd8d2jbn2KZVD8gXx0wq65quard5G/P9o26GJ93AKEX5pDNoRi/L4KrUOrQLDHq/tGcLB7FbsiG1taSrCqFS2hmvgT2FPu7iZttAHyo4A8qfNuWC6viTpRhedLawaikFBSBrwJcYWf5+kWnrZZBRFLI4x1tbHuRfk= Received: by 10.78.172.20 with SMTP id u20mr5596111hue.1194406779091; Tue, 06 Nov 2007 19:39:39 -0800 (PST) Received: by 10.78.157.16 with HTTP; Tue, 6 Nov 2007 19:39:39 -0800 (PST) Message-ID: <4a051d930711061939p621c0a8ao4472a82973dcc855@mail.gmail.com> Date: Tue, 6 Nov 2007 22:39:39 -0500 From: "Christopher L Conway" Sender: christopherleeconway@gmail.com To: "Brian Hurt" Subject: Re: [Caml-list] log function without evaluate arguments Cc: caml-list In-Reply-To: <4730B72B.3000109@janestcapital.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <47309EEC.4080706@menta.net> <1194373338-sup-9994@ausone.local> <9d3ec8300711061040l424aac69y4b859a029d815089@mail.gmail.com> <4730B72B.3000109@janestcapital.com> X-Google-Sender-Auth: d8bb70329bf03c3c X-Miltered: at concorde with ID 4731337C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 wrote:01 caml-list:01 lazy:02 argument:02 argument:02 passing:05 brian:05 chris:06 cycles:06 arguments:07 function:08 function:08 mean:08 On 11/6/07, Brian Hurt wrote: > Also, creating a lazy thunk in Ocaml is expensive (like 140+ clock cycles), > while passing an argument into a function is cheap- and the common case will > be that the argument won't need to be evaluated, just passed in. What does this mean? Did OCaml become non-strict while I wasn't looking? Chris