From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p07KNIhN009640 for ; Fri, 7 Jan 2011 21:23:18 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtgAADoFJ03RVaC2kGdsb2JhbACVa4Y0AYgDCBUBAQEBCQkMBxEEIKQriXiCFYRlLoVIAQEDBYVHBIsJ X-IronPort-AV: E=Sophos;i="4.60,290,1291590000"; d="scan'208";a="86298254" Received: from mail-gy0-f182.google.com ([209.85.160.182]) by mail2-smtp-roc.national.inria.fr with ESMTP; 07 Jan 2011 21:22:55 +0100 Received: by gyf3 with SMTP id 3so7538017gyf.27 for ; Fri, 07 Jan 2011 12:22:55 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:cc:content-type; bh=GVKcSqUCi6Nfo1z2P9yKW/ma1rkjSGG12o6Fm5E+wj0=; b=aACxSe0diY3ikW6xx5t7KxPjuwKjP8Wgh6qdo5T7MQYdK8SadkbcjiC2WcjSHPWY4d EnyrhKL35exgUVlKelxDrjGM8huttid4OdqxN+c+iyVYHiJ9r9kuaPLK2OOlAthB9pxe FzKPm99OT0raRRm929dM3rLsUy9+kPrri5RZ0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=lOPZ1knRUVzAFmrdX/Uwu8Nr3FZuJBSBJKP7ok5T2zp8DFxKD2KZ4TEOO4FQdog3R/ slec2BSTKBYVNAYXvlC8jQgUhfn5w+7rPUoMDRaCJI2N/iCXr1co3eH25mOZjX9aOyu9 uGKSPTVKw+2Zyn39TaEma1WJqOOiHkC5tRPhA= MIME-Version: 1.0 Received: by 10.90.20.6 with SMTP id 6mr3719637agt.200.1294431774957; Fri, 07 Jan 2011 12:22:54 -0800 (PST) Received: by 10.90.89.4 with HTTP; Fri, 7 Jan 2011 12:22:54 -0800 (PST) In-Reply-To: <41A45D6B-C556-4D60-BA6F-423B60E3A137@univ-orleans.fr> References: <699537.6718.qm@web111509.mail.gq1.yahoo.com> <41A45D6B-C556-4D60-BA6F-423B60E3A137@univ-orleans.fr> Date: Fri, 7 Jan 2011 22:22:54 +0200 Message-ID: From: Eray Ozkural To: David Rajchenbach-Teller Cc: Damien Doligez , Dario Teixeira , caml-list@inria.fr Content-Type: multipart/alternative; boundary=001636284dbc21e0ad0499476265 Subject: Re: [Caml-list] Purity and lazyness --001636284dbc21e0ad0499476265 Content-Type: text/plain; charset=ISO-8859-1 On Fri, Jan 7, 2011 at 6:38 PM, David Rajchenbach-Teller < David.Teller@univ-orleans.fr> wrote: > Correct me if I'm wrong, but I wouldn't classify Erlang as "pure": sending > and receiving messages -- which are two of the most important primitives in > Erlang -- are definitely side-effects. > Also, asynchronous error-checking, Mnesia, etc. look quite impure to me. > > I also vaguely remember Simon Peyton-Jones declaring something along the > lines of "The next Haskell will be strict". > > There was a strict compiler for Haskell, whatever happened to it? Most times I found it cumbersome to deal with the performance effects of default laziness. Best, -- Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara http://groups.yahoo.com/group/ai-philosophy http://myspace.com/arizanesil http://myspace.com/malfunct --001636284dbc21e0ad0499476265 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On Fri, Jan 7, 2011 at 6:38 PM, David Rajchenbac= h-Teller <David.Teller@univ-orleans.fr> wrote:
Correct me if I'm wrong, but I wouldn't classify Erlang as "pu= re": sending and receiving messages -- which are two of the most impor= tant primitives in Erlang -- are definitely side-effects.
Also, asynchronous error-checking, Mnesia, etc. look quite impure to me.

I also vaguely remember Simon Peyton-Jones declaring something along the li= nes of "The next Haskell will be strict".


There was a strict compiler for Haskell, whatever happened= to it? Most times I found it cumbersome to deal with the performance effec= ts of default laziness.

Best,=A0

--
Eray Ozkural, PhD candid= ate.=A0 Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philo= sophy
http://myspace.com/arizanesil= http://myspace.com/malfunct
--001636284dbc21e0ad0499476265--