Тип данных

Тип данных

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