Аккорд (параллелизм)

Аккорд Polyphonic — это конструкция параллелизма, доступная в C♯ и Cω, вдохновленная шаблоном соединения исчисления соединения . Аккорд — это тело функции, которое связано с несколькими заголовками функций и не может выполняться, пока не будут вызваны все заголовки функций.

Синхронность

Cω определяет два типа функций: синхронные и асинхронные. Синхронная функция действует как обычная функция в типичных императивных языках: при вызове выполняется тело функции, и возвращаемое значение может быть возвращено или не возвращено вызывающей стороне. Асинхронная функция действует аналогично синхронной функции, которая немедленно возвращает void, но также запускает выполнение фактического кода в другом потоке/контексте выполнения.