Кратко: синтаксис — форма (как записать), семантика — значение/поведение (что происходит при исполнении). Разберём на примере выражения $a=b$.
C
- Синтаксис: $a=b$ — это операция присваивания (в C это «assignment expression»), где $a$ должен быть lvalue (место для хранения).
- Семантика: вычисляется правая часть $b$, результат приводится по необходимости и записывается в ячейку, соответствующую $a$. Операция имеет значение — результат присваивания — и тип того же типа, что и $a$, поэтому её можно использовать в других выражениях (например, $x=(y=5)$).
- Побочные эффекты: есть (модификация памяти).
- Замечание: порядок вычисления операндов и побочные эффекты важны (могут быть UB при одновременных модификациях одной переменной без последовательных точек).
Python
- Синтаксис: $a=b$ — это оператор присваивания (assignment statement), а не выражение.
- Семантика: вычисляется выражение $b$, затем имя $a$ в текущей области связывается с полученным объектом; имена динамически связываются с объектами. Оператор не возвращает значение, поэтому его нельзя вложить в другое выражение.
- Побочные эффекты: есть (изменение привязки имени в среде).
- Замечание: в Python 3.8 появился оператор присваивания-выражения $:=$ (walrus), который возвращает значение и может использоваться внутри выражений.
Haskell
- Синтаксис: $a=b$ — это определение/связывание (top-level binding или local binding в let/where), часто с возможностью сопоставления с образцом (pattern).
- Семантика: это декларация, говорящая, что имя/шаблон $a$ связан с выражением $b$. Связывания в Haskell неизменяемы (нет «присваивания» во времени). Вычисление обычно ленивое: $a$ создаёт thunk, вычисляемый при необходимости.
- Побочные эффекты: по умолчанию отсутствуют (чистая функциональная семантика); побочные эффекты управляются через монады (IO и т.д.).
- Замечание: для проверки равенства значений в Haskell используется оператор $==$, а не $=$ (который служит для связывания).
Итого: одна и та же синтаксическая форма $a=b$ в этих языках имеет разные синтаксические роли и принципиально разную семантику — в C и Python это операция/оператор, изменяющие состояние (в C ещё и выражение с возвращаемым значением), в Haskell это неизменяемое связывание/определение (декларация), а проверка равенства — отдельный оператор.