wiki-linki.ru - поиск статей википедии и связей между ними

Тип данных


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


Вопрос по теме Сформулируйте свой вопрос в одном предложении. Для вопросов и ответов используется сервис Отвечай.ru

Проект wiki-linki.ru основан на данных Wikipedia, доступной в соответствии с GNU Free Documentation License.