Непейвода Н.Н. Программирование. Раздел 4

Непейвода Н.Н. Программирование. Страница 394

В связи со всем этим стоит заметить, что и объектный подход совсем не преуспел в решении задачи отдельного от реализации описания типа и в согласовании абстрактных и ресурсных требований.

Если исходить из потребностей абстрагирования, то заманчиво поста­вить вопрос о существовании универсального типа типов, из которого все нужные типы строились бы путем вычисления операций этого типа с типо­выми значениями. Однако построения такого рода — прямой путь к логиче­ским парадоксам теории множеств или комбинаторной логики (к примеру, к парадоксу лжеца и парадоксу Рассела, см. [65]).

В последующих разделах обсуждаются средства построения систем ти­пов данных, предлагаемые различными языками, с учетом общих положе­ний, изложенных выше.

§ 9.2. БАЗОВЫЕ И ВЫВОДИМЫЕ ТИПЫ

9.2.1. Перечисления

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

Определение 9.2.1.Перечисление является конечным линейно упорядочен­ным множеством изображений значений (литералов).

Для перечислений определены следующие константы и операции.

Элементы firstи last — константы, представляющие первый и послед­ний элементы перечисления.

Отношения <и = — двуместные операции, задающие, соответственно, порядок и равенство на перечислении.

succи pred — частичные одноместные операции, вычисляющие следу­ющее и предыдущее значения своего аргумента; succне определено для last, apred — для first, соответственно.

Конец определения 9.2.1.

Через операции порядка и равенства определяются также >, ^ ^ и

Изображения значений перечислений могут быть заданы априори или определяться программистом. Априорное задание фиксируется определе­нием языка, либо посредством явно выписанного в определении перечня изображений, либо с помощью правил построения изображений из симво­лов. Например, для булевого типа литералыtrueиfalseявно заданы языком. Для целого типа есть соответствующие правила составления изображений чисел из цифр, знаков плюс и минус.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета &quot;Ангара-А5В&quot; в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие &quot;Крокодилы&quot;

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама