Синтаксические особенности основных видов литералов

Синтаксис типу

Перейдем к рассмотрению структуры синтаксически допустимых описаний типов объектов языка.

Приведем соответствующую формализацию в терминах БНФ.

<тип>::= int | bool | <тип> *... * <тип> |<тип> -> <тип>

Как следует из представленной БНФ, синтаксически допустимыми типами языка программирования SML являются:

1. Целочисленные величины, обозначаемые зарезервированным словом int;

2. Логические значения, обозначаемые зарезервированным словом bool;

3. Кортежи - упорядоченные n-ки элементов определенных типов;

4. Функции - упорядоченные n-ки элементов определенных типов, соединенных зарезервированными символами "->".

Рассмотрим следующий пример, иллюстрирующий приписывание типов в языке SML. Константа типа кортеж вида (0,false,1,true) имеет тип (int*bool*int*bool).

Заметим, что варианты типов (1) и (2) являются элементарными, тогда как (3) и (4) представляют собой производные типы с явно указанной (или выводимой) структурой, откуда и происходит название "структурированный тип".

Рассмотрим такие синтаксические категории как литералы, или базовые типы SML, состоящие из определенных последовательностей символов.

Приведем соответствующую формализацию в терминах БНФ.

<литерал>::= <литерал целого типа> | <литерал строкового типа> | <литерал вещественного типа>

Как следует из представленной БНФ, синтаксически допустимыми типами литералов в языке программирования SML являются следующие:

1. Целочисленные литералы, имеющие тип int и лежащие в диапазоне от -2³⁰ до +2³⁰ (последнее обстоятельство связано с особенностями машинного представления данных);

2. Строковые литералы, имеющие тип string и представляющие собой алфавитно-цифровые последовательности символов в коде формата ASCII;

3. Вещественные литералы, имеющие базовый тип real, обобщенную форму вида M x 10^E, где M - мантисса в диапазоне от -1 до +1, а E - порядок в соответствующем диапазоне.

Заметим, что значение (т.е. семантика) литералов в полной мере определяется их лексическим (а, значит, и синтаксическим) представлением.

Продолжим обсуждение синтаксических категорий языка программирования SML.

Аппликация функций

Перейдем к рассмотрению фундаментальной с точки зрения формализации языков функционального программирования - ламбда-исчисления - операции аппликации функций.

Соответствующая формализация в терминах БНФ имеет вид:

<выражение> <выражение>

Как следует из представленной БНФ, синтаксически допустимая конструкция языка программирования SML, описывающая операцию аппликации, весьма точно соответствует описанию операции аппликации в ламбда-исчислении.

Проиллюстрируем аппликацию функции к аргументу в языке программирования SML следующим примером.

Рассмотрим функцию succ, которая задается определением

fun succ n = n+1;

и осуществляет прибавление единицы к (целочисленному) аргументу.

Для рассматриваемой функции succ синтаксически корректная аппликация может иметь вид succ 2 и вычисляться в ходе выполнения программы в значение 3.

Дата добавления: 2014-01-07