OEP

165

Title

Different markers for channel type ends

Summary

Replace ?! with something less confusing for channel type ends

Owner

Adam Sampson <A.T.Sampson@kent.ac.uk>

Status

Proposed

Date-Proposed

2007-12-17

Last-Modified

2008-01-14

Keywords

language syntax mobiles channel-types

At the moment, channel type end types are decorated with ! or ? to distinguish the two types of ends. By convention we use ! for client ends -- the mnemonic being that the client always initiates communication, so it "sends" while the server "receives" -- but there's no reason why channel types must always conform to the client-server pattern, and many occam-pi users confuse this scheme with the ! and ? decorators used on channel variables to indicate direction.

It may be less confusing to use characters such as + and - that indicate symmetry without colliding with existing syntax. (ยข and $ would be awfully cute for "client" and "server", but the cent sign is hard to type...)

OEP/165 (last edited 2008-01-14 12:56:35 by ats)