3. Особливості мови програмуванняPascal abc

 

3.1 Типи даних у мові Pascal abc

  У мові Pascal ABC будь-яка змінна характеризується своїм типом. Під типом у разі розуміється безліч значень, що може приймати змінна як наслідок, безліч операцій, допустимих над перемінної.

Паскаль є мовою жорсткої типізації. Це означає, що тип перемінної визначається у її описі не може бути змінено.Переменная може брати участі лише у операціях, певних її типом. Такий їхній підхід сприяє більшої акуратності і відповідальності гілок під час упорядкування програми, зробила їх піддаються автоматичної (при компіляції) перевірці на коректність й у остаточному підсумку призводить до вищої надійності створюваних програм [1, з. 237].

Паскаль має розвинену і витончену систему типів. За підсумками небагатьох стандартних типів програміст може конструювати дані довільній структури та складності, адекватно відбивають інформаційну природу завдання.

Паскаль успадковує систему типів еталонного мови, істотно розширюючи її як у розумінні додавання очевидних практично корисних типів (наприклад,строкових), і запровадженням принципово новопонять, відкривають нетрадиційні можливості у

програмуванні (зокрема, об'єктів).

Базовими у системі типів є прості типи. Складові типи за правилами будуються з простих.Ссилочние типи утворюються з будь-яких інших типів. Складові іссилочние типи вважатимуться деякими правилами для побудови складніших типів з простіших. Обмежені типи формуються з простих типів шляхом звуження їхній області допустимих значень. Первинними в ієрархії типів є стандартні скалярні типи, які мають традиційні в мовами програмування безлічі значень (цілі, речові, символьні,булевские) та його модифікації, враховують архітектурні особливості апаратури.

Процедурні типи у певному відношенні розширюють традиційне поняття підпрограм, дозволяючи поводження зподпрограммами і з перемінними.

Трохи окремо стоять об'єктні типи, чи об'єкти. Будучи, з формальної погляду, узагальненням комбінованих типів (записів), вказують радикально змінити підхід до розробки програм, пропонуючи так званийобъектно-ориентированний стиль програмування.

Прості типи: порядкові, речові,дата-время.

Порядковий тип своєю чергою ділиться на:

1. цілі типи;

2. логічний тип чибулевский тип;

3. символьний тип;

4.перечисляемие типи;

5. обмежені типи читип-диапазон.

За підсумками стандартних скалярних типів є можливість утворювати користувальні скалярні типи. Є дві способу породження нових скалярних типів - обмежені іперечислимие типи.

Будь-який скалярний тип характеризується безліччю його різноманітних значень, серед яких встановлено лінійний порядок. Усі скалярні типи, крім речовинних, називаються дискретними.

Складові типи: структуровані типи, покажчики, рядки, процедурні, об'єкти, класи, варіанти.

Структурированние типи своєю чергою діляться на:

1. регулярні типи (масиви);

2. комбіновані типи (записи);

3. множинні типи;

4. файлові типи;

Прості типи, згадані вище, визначають різні безлічі атомарних (нероздільних) значень. Складові, чи структурні типи, на відміну простих, задають безліч «складних» значень; кожне значення з такої безлічі утворює деяку сукупність кількох значень іншого типу (чи інших типів). Можна сміливо сказати, що складові типи визначають певний спосіб освіти нових типів з вже наявних, причому окремі елементи складових значень може мати будь-який, зокрема складовою, тип.

Отже, Паскаль допускає освіту структур даних довільній складності, дозволяючи цим досягти адекватного подання у програмі тих даних, із якими вона оперує.