From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <1eb2d00e94bb00e11002737277a44f77@quintile.net> From: "Steve Simon" Date: Wed, 14 Dec 2005 00:02:57 +0000 To: 9fans@cse.psu.edu Subject: Re: [9fans] MS Research reinvents Inferno? In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Topicbox-Message-UUID: c43c358c-ead0-11e9-9d60-3106f5b1d025 On Tue Dec 13 17:57:37 GMT 2005, forsyth@terzarima.net wrote: > > They push the type-checking further in other areas too. > > The channels are two-way, with defined protocols running over > > them. Each reference to a channel is marked as to which half > > of the protocol it is expected to run, and then the code using the > > i thought that was potentially interesting (and there were other things), but i was > also fairly sure i'd seen that done for (a variant of) occam-2 I thought I was taught occam channels where always typed and the message types where fixed - though this was quite a while ago. What always amazed me was the debuggers ability to push through a channel to another thread on a different cpu. I was sad Transputers & occam missed. -Steve