Overlapping instances; Экзистенциальные типы.

Пятница, 09 октября 2015
Таймс, ауд. 404

Описание

Проблема overlapping instances. Причины возникновения, интерпретация. Обобщение головы, использование эквивалентности типов.

Экзистенциальные типы, абстракция относительно схемы свойств.