From mboxrd@z Thu Jan  1 00:00:00 1970
From: erik quanstrom <quanstro@coraid.com>
Date: Wed,  2 Sep 2009 14:35:06 -0400
To: 9fans@9fans.net
Message-ID: <8cee7204b91c9558c86347e572df6ad5@coraid.com>
In-Reply-To: <3e1162e60909021127m7c22b518hf2255495dce5ee30@mail.gmail.com>
References: <5db2df69e768a7259b8a1e698abddd3f@coraid.com>
	<32125c2033c0f63e5bb24548c7bc934f@hamnavoe.com>
	<3e1162e60909021127m7c22b518hf2255495dce5ee30@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 8bit
Subject: Re: [9fans] nice quote
Topicbox-Message-UUID: 5f94a97a-ead5-11e9-9d60-3106f5b1d025

> > > on p. 43/44 i believe it is claimed that one
> > > cannot do CSP without pure functional
> > > programming.
> >
> > (p ⇒ q) ⇏ (¬p ⇒ ¬q)
> >
> >
> That's interesting because pure functional programming doesn't exist at all
> in the strictest sense on a computer.  One MUST be able to cause side
> effects during computation or your CPU will just get hot... if even that.

i read the slides as contrasts, not as
logical conjunctions.

i still don't understand the claim that message passing
requires "thousands of message protocols"
and can't do syncronization.

- erik