> 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
