Головна

ПИТАННЯ 12

  1. A) повідомляється про неможливість дати відповідь по суті поставленого питання в зв'язку з неприпустимістю розголошення зазначених відомостей
  2. Frac12; Принц Том 4 Глава 4: Найважливіший питання в житті Пельмешки.
  3. S СТАЄ ГОЛОВНИМ ПИТАННЯМ
  4. Австрійський питання у взаєминах Італії та Німеччини.
  5. Аграрно-селянське питання в конституційних проектах П. Пестеля і М. Муравйова.
  6. Аналіз бухгалтерського балансу, його основних статей і розрахункових показників. 36 питання в зразковому переліку
  7. Аналіз ділової активності організації. 47 питання в зразковому переліку

типізації

Матеріал з Вікіпедії - вільної енциклопедії

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

Історія

Ще в 1960-х рр. Р. Хиндли (Roger Hindley) досліджував типізацію в комбінаторної логікою. Його проблемною областю була типізація в мовах, заснованих на теорії лямбда-числення. Пізніше, в кінці 1960-х років, той же вчений досліджував поліморфні системи типів. Пізніше, в 1970-х роках, Робін Мілнер запропонував практичну реалізацію розширеної системи полиморфной типізації для мови функціонального програмування ML.

визначення

Тип (сорт) - Відносно стійка і незалежна сукупність елементів, яку можна виділити в усьому розглянутому безлічі (предметної області).

поліморфний тип - Представлення набору типів як єдиного типу.

Математично тип може бути визначений двома способами:

1. Множиною всіх значень, що належить типу.

2. предикатні функцією, визначальною приналежність об'єкта до даного типу



ПИТАННЯ 11 | Мови програмування за способом визначення типів даних

ПИТАННЯ 10 | Переваги від використання типів даних | Класифікація типів даних | ПИТАННЯ 13 | ПИТАННЯ 14 | ПИТАННЯ 15 | Принципи стиснення даних | коефіцієнт стиснення | Стиснення і комбінаторика | Техніка стиснення без втрат |

© um.co.ua - учбові матеріали та реферати