Конспект установочных лекций по комплексному курсу Информатика, Теория информации




Расширение аппликативных языков: объявления


Объявления обозначений элементов данных и функций служат улучшению читаемости выражении ЯП. Объявление позволяет ввести в употребление идентификатор и одновременно связать его с определенным элементом или определенным отображением, которое задается с помощью выражения. Говорят о "связывании" идентификатора с элементом или функцией. С помощью объявления принимается соглашение, что идентификатор в некоторой ограниченной области будет стоять в качестве сокращения (обозначения) значения выражения. Объявления находятся в секциях

(англ. section) (в некоторых ЯП вместо термина "секция" употребляется "блок".- перев.). Секция служит для установления границ области связанности идентификатора, порождаемого его объявлением.

Рассматриваются объявления для элементов данных и функций со следующим синтаксисом:

<сeкция> ::= [<inner>]|

if <inner> then <inner> {elif <mner> then <inner>}*

else <inner> fi

<inner> ::=

<объявлсние_типа>;<ехр>|

<объявление_элемента>;<eхр>|

{<объявление_функции>;}*<ехр>|

<procedural_inner>

Синтаксическая единица <procedural_inner> служит привязывайте элементов императивного ЯП к аппликативному стилю, а синтаксическая единица <объявлениe_типа> служит для привязывания объявлений типа к аппликативному стилю.




Содержание  Назад  Вперед