Occam (язык программирования)
-
Обзор языка программирования occam
- Основан на алгебре процессов CSP и назван в честь философа Уильяма Оккама.
- Является императивным процедурным языком, разработанным для микропроцессоров transputer.
- Известен версией occam 2, с руководством по программированию от Inmos.
-
Синтаксис и семантика
- Важность отступов и форматирования для синтаксического анализа.
- Использование off-side rule для выравнивания выражений.
- Связь между процессами через именованные каналы с ! и ? для ввода и вывода данных.
- Возможность одновременного вычисления выражений в PAR и последовательного вычисления в SEQ.
- Защита команд с помощью ALT, где успешными считаются только те, где условие выполнено и канал готов.
-
Эволюция языка
- occam 1 (1983) — предварительная версия с поддержкой только типа данных VAR и одномерных массивов.
- occam 2 (1987) — расширение с поддержкой с плавающей запятой, функций, многомерных массивов и других типов данных.
- occam 2.1 (1994) — последний из серии, с новыми функциями, включая именованные типы данных и операторы.
- occam-π (неопределенное время) — расширение с вложенными протоколами, созданием процесса во время выполнения и другими.
-
Дополнительные ресурсы
- Ссылки на внешние ресурсы, включая компиляторы, документацию и книги.
- Упоминание языка XC, основанного на occam, но с синтаксисом C.
- Список параллельных языков программирования для дальнейшего чтения.