Вопросы с тегом «polymorphism»

Имеет ли система F с парами сильные свойства нормализации и сокращения объекта?

Во многих учебниках легко найти доказательства сокращения предмета и строгой нормализации для Системы F, а также иногда есть определения Системы F с парами, где (t, r) - это термин, а не только кодировка. Вопрос в том, что будет ссылкой на эту...

Полиморфизм высшего ранга над неупакованными типами

У меня есть язык, на котором типы распакованы по умолчанию, с выводом типов на основе Хиндли-Милнера. Я хотел бы добавить полиморфизм более высокого ранга, в основном для работы с экзистенциальными типами. Я думаю, что понимаю, как проверить эти типы, но я не уверен, что делать при компиляции. В...