From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p07KY473011020 for ; Fri, 7 Jan 2011 21:34:04 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvEAAEsHJ03RVaC2kGdsb2JhbACFHpBNMYYDAYgDCBUBAQEBCQkMBxEEIKQtiXiCFYRlLoVIAQEDBYVHBIsJ X-IronPort-AV: E=Sophos;i="4.60,290,1291590000"; d="scan'208";a="94797141" Received: from mail-gy0-f182.google.com ([209.85.160.182]) by mail1-smtp-roc.national.inria.fr with ESMTP; 07 Jan 2011 21:33:59 +0100 Received: by gyf3 with SMTP id 3so7541603gyf.27 for ; Fri, 07 Jan 2011 12:33:58 -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:content-type; bh=s5iIOc/GQbyBr7bvw39C0kGXfwezTEJ9gqHQyP8/pPo=; b=DBTvreUUgrZ7i4TK40Z5UUOpksmMX8givh1ujKQ/y/B0GBJhaKJoOGgtQPBC1nuVJF mOQxCTHJGzwXE57AmvOkmLa+AJDEs4piw81CzJFsmZV2tOz0ii5MRFeoOjVkfLKrqASo JCC2rceqUBv3Is1wOZbZRVOTNcRP3TcH2ue5U= 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 :content-type; b=EXRLd3SyQLQSBWxk7FuCSs+MNyd7MdGtLsQ9kF3wvWndc6aLGbdmPqEzYdauQdq5+U 1Dl3fsG3I89ka0IfHoEqkqP0qsUSmm8CclZ7WaqCaaNLg2LbdHSj4Q+tBjd0q1PZMRI5 JwwwwmQ/n9tMfmjQSMg23DWNVuYRee5tqkgz4= MIME-Version: 1.0 Received: by 10.90.69.13 with SMTP id r13mr3771144aga.65.1294432438243; Fri, 07 Jan 2011 12:33:58 -0800 (PST) Received: by 10.90.89.4 with HTTP; Fri, 7 Jan 2011 12:33:58 -0800 (PST) In-Reply-To: <7B166A75-88A4-41BC-A26F-A2CC8B6E30FC@ezabel.com> References: <699537.6718.qm@web111509.mail.gq1.yahoo.com> <41A45D6B-C556-4D60-BA6F-423B60E3A137@univ-orleans.fr> <7B166A75-88A4-41BC-A26F-A2CC8B6E30FC@ezabel.com> Date: Fri, 7 Jan 2011 22:33:58 +0200 Message-ID: From: Eray Ozkural To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001636499649aad1c804994789e2 Subject: Re: [Caml-list] Purity and lazyness --001636499649aad1c804994789e2 Content-Type: text/plain; charset=ISO-8859-1 No, I don't think so. I think these: http://csg.csail.mit.edu/pubs/haskell.html http://csg.csail.mit.edu/projects/languages/ph.shtml What a cool research group, combines two of my research interests as well :) Best, On Fri, Jan 7, 2011 at 10:29 PM, wrote: > I believe you are thinking of 'Timber'? > > > > On Jan 7, 2011, at 3:22 PM, Eray Ozkural wrote: > > 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 >> >> > -- 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 --001636499649aad1c804994789e2 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable No, I don't think so.

I think these:

What a cool research group, combines two of my research= interests as well :)

Best,

On Fri, Jan 7, 2011 at 10:29 PM, <orbitz@ezabel.com> wrote:
I believe you are thinking of 'Timber&#= 39;?



On Jan 7, 2011, at 3:22 PM, Eray Ozkural wrote:

On Fri, Jan 7, 2011 at 6:38 PM, David Rajchenbach-Teller <David.Teller@univ-orlea= ns.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 time= s I found it cumbersome to deal with the performance effects of default laz= iness.

Best,

--
Eray Ozkural, PhD candidate. =A0Comp. Sci. Dept., Bilkent University, Ankar= a
h= ttp://groups.yahoo.com/group/ai-philosophy
http://myspace.= com/arizanesil http://myspace.com/malfunct





--
Eray Ozkura= l, PhD candidate.=A0 Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/g= roup/ai-philosophy
http://myspace.com/arizanesil= http://myspace.com/malfunct
--001636499649aad1c804994789e2--