Синтаксичний цукор: визначення, походження і приклади

Походження

Термін «синтаксичний цукор» був введений Пітером Дж. Ландином в 1964 році для опису поверхневого відділу граматики простого ALGOL, мови програмування, який був визначений семантично у термінах аплікативного виразів лямбда-числення, зосереджених на лексичної заміни λ з «де».

Більш пізні мови програмування, такі як CLU, ML і Scheme, розширили термін для позначення похідної в мові, яка може бути визначена як синтаксичний цукор c точки зору ядра основних конструкцій. Зручні функції більш високого рівня можуть бути «дезагрегированы» і розкладені на підмножину. Це, насправді, звичайна математична практика побудови з примітивів.

Спираючись на відмінність Ландін між основними мовними конструкціями і властивостями синтаксичного цукру, в 1991 році Матіас Феллайзен запропонував кодифікацію «виразної сили», щоб відповідати широко поширеним переконанням в літературі. Він визначив це як «більш багатозначний», щоб позначити, що без розглянутих мовних конструкцій програма повинна бути повністю реорганізована.