Особенности языка программирования Pascal ABC

В языке Pascal ABC любая переменная характеризуется своим типом. Под типом в данном случае понимается множество значений, которые может принимать переменная и, как следствие, множество операций, допустимых над переменной.Паскаль является языком жесткой типизации. Это означает, что тип переменной определяется при ее описании и не может быть изменен. Переменная может участвовать только в операциях, определенных ее типом. Такой подход способствует большей аккуратности и ответственности при составлении программы, делает их поддающимися автоматической (при компиляции) проверке на корректность и в конечном итоге приводит к более высокой надежности создаваемых программ [1, c. 237].Паскаль имеет развитую и изощренную систему типов. На основе небольшого числа стандартных типов программист может конструировать данные произвольной структуры и сложности, адекватно отражающие информационную природу задачи.Паскаль наследует систему типов эталонного языка, существенно расширяя ее как в смысле добавления очевидных практически полезных типов (например, строковых), так и введением принципиально новых понятий, открывающих нетрадиционные возможности в программировании (в частности, объектов). Базовыми в системе типов являются простые типы. Составные типы по определенным правилам строятся из простых. Ссылочные типы образуются из любых других типов. Составные и ссылочные типы можно считать некоторыми правилами для построения более сложных типов из более простых. Ограниченные типы формируются из простых типов путем сужения их области допустимых значений. Первичными в иерархии типов являются стандартные скалярные типы, представляющие традиционные в языках программирования множества значений (целые, вещественные, символьные, булевские) и их модификации, учитывающие архитектурные особенности аппаратуры.Процедурные типы в некотором отношении расширяют традиционное понятие подпрограмм, позволяя обращаться с подпрограммами как с переменными [3, c. 8].Несколько особняком стоят объектные типы, или объекты. Являясь, с формальной точки зрения, обобщением комбинированных типов (записей), они позволяют радикально изменить подход к разработке программ, предлагая так называемый объектно-ориентированный стиль программирования.Простые типы: порядковые, вещественные, дата-время.Порядковый тип в свою очередь делится на:1. целые типы; 2. логический тип или булевский тип;3. символьный тип; 4. перечисляемые типы;5. ограниченные типы или тип-диапазон.На основе стандартных скалярных типов имеется возможность образовывать пользовательские скалярные типы. Есть два способа порождения новых скалярных типов - ограниченные и перечислимые типы.Любой скалярный тип характеризуется множеством его различных значений, среди которых установлен линейный порядок. Все скалярные типы, кроме вещественных, называются дискретными.Составные типы: структурированные типы, указатели, строки, процедурные, объекты, классы, варианты.Структурированные типы в свою очередь делятся на:1. регулярные типы (массивы);2. комбинированные типы (записи); 3. множественные типы;4. файловые типы;Простые типы, описанные выше, определяют различные множества атомарных (неразделимых) значений. Составные, или структурные типы, в отличие от простых, задают множества «сложных» значений; каждое значение из такого множества образует некоторую совокупность нескольких значений другого типа (или других типов). Можно сказать, что составные типы определяют некоторый способ образования новых типов из уже имеющихся, причем отдельные элементы составных значений могут иметь любой, в том числе составной, тип.Таким образом, Паскаль допускает образование структур данных произвольной сложности, позволяя тем самым достичь адекватного представления в программе тех данных, с которыми она оперирует. Каждое значение регулярного типа состоит из фиксированного числа элементов одного и того же базового типа. Такой способ образования новых значений (фиксированное число однотипных компонент) позволяет обозначать значения этих типов одним (групповым) именем. Объект регулярного типа часто называют массивом, а групповое имя используется в качестве имени этого массива. Доступ к отдельным элементам массивов организуется посредством указания имени массива и порядкового номера (индекса) необходимого элемента.Для корректного определения регулярного типа необходимо задать две характеристики: тип элементов массива, а также количество и «способ нумерования» элементов. Последние характеристики задаются посредством указания типа индекса [1, c. 259].Определение массива имеет следующий общий вид:Type A = array [T1] of T2; Здесь Array, of – служебные слова; Т1 – тип индекса массива; Т2 – тип компонент массива.В дальнейшем идентификатор этого типа может быть использован в описании переменных.В качестве типа индекса может выступать любой дискретный тип, кроме LongInt и ограниченных типов, построенных из типа LongInt, в частности, допустимы ограниченные и перечислимые типы. Элементами массива могут быть переменные любого типа.Ниже приведены описания различных массивов: TypeM1 = array [1 100] of real;M2 = array [char] of boolean;Matrix = array [ 1 10 ] of array[1 20] of integer;Database = array [1 MaxF] of file of Person;VarVector: M1;Sym_Table: M2;Arr1, Arr2: Matrix;S: array [Red, Yellow, Green] of boolean; Число элементов в массиве всегда должно быть фиксировано. Для задания количества элементов массива используется тип; число элементов определяется количеством возможных значений указанного типа, что отличает язык Паскаль от многих других языков, в которых размер массива задается либо целым числом (или выражением целого типа), либо диапазоном целых чисел. Это придает Паскалю дополнительную гибкость, позволяя «нумеровать» элементы массива не только целыми числами, но и значениями произвольного целого типа.В качестве элементов массива могут выступать значения любого типа; в частности, ими могут быть значения любых составных типов, например, массивы: Var V2: array [1 10] of array [1 20] of byte; Такую переменную можно трактовать двояко: как массив, состоящий из нескольких массивов, либо как один двумерный массив (матрицу). Для сокращения записи в подобных случаях можно использовать эквивалентную форму определения регулярных типов, где в квадратных скобках указывается список типов индексов, разделенных запятыми, тот же массив можно описать: Var V2: array [ 1 10, 1 20 ] of of byte; Число индексов в определении (т.е. размерность массива) в языке не ограничивается.Паскаль допускает единственное возможное действие над массивом в целом: использование его в операторе присваивания, например, Vect1:=Vect2; причем типы обоих массивов должны быть эквивалентны.Элемент массива считается переменной; он может получать значения (например, в операторе присваивания), а также участвовать в выражениях, где он представляет значение, помещенное в соответствующий элемент данного массива [2]. Ассортимент операций над элементами массива полностью определяется типом этих элементов (базовым типом массива).

Новости образования:

Формирование активного и пассивного словаря в онтогенезе
Словарь – это слова (основные единицы речи), обозначающие предметы, явления, действия и признаки окружающей действительности[32]. Различают словарь пассивный и активный. Под пассивным словарем понимают часть словарного состава языка, понятную ребенку, она зависит от возраста, психического развития, ...

Способы эффективного обучения математике
Современное содержание математического образования направлено главным образом на интеллектуальное развитие младших школьников, формирование культуры и самостоятельности мышления. Важнейшим фактором в развитии мыслительных операций служат педагогические системы развивающего обучения [22]. Обучение н ...

Базовый набор структур и построение алгоритмов на их основе
Теория структурного программирования доказывает, что алгоритм любой степени сложности можно построить с помощью основного базового набора структур:1) последовательная (линейная) структура;2) ветвящаяся структура;3) циклическая структура.Наиболее простыми для понимания и использования являются линей ...