On Tue Dec 13 17:57:37 GMT 2005, [EMAIL PROTECTED] 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
