The IPC facilities could be integrated with a programming language, that is, a programming language would provide the interface to invoke them (e.g. Ada). The advantage is type checking and the possibility of using high-level declarative constructs, the disadvantage the inability of processes written in different languages to communicate with each other.