Статья

Полиморфная система типов λ2 в содержании обучения теоретическому программированию

И. Кудрявцева
2016

Автором проведён логико-семиотический анализ содержания одного из разделов обучения теоретическому программированию «полиморфная система типов λ2» (демонстрирующая зависимость термов от типов). Построена сводная таблица о разрешимости (наличия алгоритма решения) классических задач системы λ2 в слабом и сильном полиморфизме произвольного ранга, а также в слабом полиморфизме с let-правилом в стиле Карри и в стиле Чёрча. В результате сформулированы компетенции, приобретаемые обучаемыми по итогам изучения полиморфной системы типов λ2.

Цитирование

Список литературы

Похожие публикации

Источник