Расширение аппликативных языков: объявления
Объявления обозначений элементов данных и функций служат улучшению читаемости выражении ЯП. Объявление позволяет ввести в употребление идентификатор и одновременно связать его с определенным элементом или определенным отображением, которое задается с помощью выражения. Говорят о "связывании" идентификатора с элементом или функцией. С помощью объявления принимается соглашение, что идентификатор в некоторой ограниченной области будет стоять в качестве сокращения (обозначения) значения выражения. Объявления находятся в секциях
(англ. section) (в некоторых ЯП вместо термина "секция" употребляется "блок".- перев.). Секция служит для установления границ области связанности идентификатора, порождаемого его объявлением.
Рассматриваются объявления для элементов данных и функций со следующим синтаксисом:
<сeкция> ::= [<inner>]|
if <inner> then <inner> {elif <mner> then <inner>}*
else <inner> fi
<inner> ::=
<объявлсние_типа>;<ехр>|
<объявление_элемента>;<eхр>|
{<объявление_функции>;}*<ехр>|
<procedural_inner>
Синтаксическая единица <procedural_inner> служит привязывайте элементов императивного ЯП к аппликативному стилю, а синтаксическая единица <объявлениe_типа> служит для привязывания объявлений типа к аппликативному стилю.