![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Типизация данных
Материал из Википедии — свободной энциклопедии
Тип данных — фундаментальное понятие теории программирования. Тип данных определяет множество значений, набор операций, которые можно применять к таким значениям, и, возможно, способ реализации хранения значений и выполнения операций. Любые данные, которыми оперируют программы, относятся к определённым типам.
История
Ещё в 1960-х гг. Р. Хиндли (Roger Hindley) исследовал типизацию в комбинаторной логике. Его проблемной областью была типизация в языках, основанных на теории лямбда-исчисления. Позднее, в конце 1960-х годов, тот же учёный исследовал полиморфные системы типов. Позже, в 1970-х годах, Робин Милнер предложил практическую реализацию расширенной системы полиморфной типизации для языка функционального программирования ML.
Определение
Тип (сорт) — относительно устойчивая и независимая совокупность элементов, которую можно выделить во всём рассматриваемом множестве (предметной области).
Полиморфный тип — представление набора типов как единственного типа.
Математически тип может быть определён двумя способами:
1. Множеством всех значений, принадлежащим типу.
2. Предикатной функцией, определяющей принадлежность объекта к данному типу
Дата публикования: 2015-01-26; Прочитано: 302 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!