На странице 4 Теоремы бесплатно!, Филип Вадлер говорит, что параметричность может быть выражена в терминах нестрогих естественных преобразований. Имеет ли он в виду тот факт, что параметрически полиморфные функции в языках функционального программирования являются естественными преобразованиями без доказательства их естественности? Поскольку я не нашел подходящего определения нестрогих естественных преобразований, пока это моя идея.
Являются ли вялые естественные преобразования просто естественными преобразованиями без естественности?
Ответы (1)
Нет, он не. Он имеет в виду концепцию слабой естественной трансформации, описанную на n-lab и обсуждалось в этот вопрос MathOverflow.
Он имеет в виду тот факт, что параметрически полиморфные функции можно рассматривать как функторы. Именно их параметричность рассматривается как слабое естественное преобразование. По сути, это единый способ перехода от любой специализации параметрически полиморфной функции к любой другой. Причина его небрежности заключается в том, что вещи не перемещаются на носу (т. Е. Применение + транспорт - это не совсем то же самое, что транспорт + применение), но они соответствуют заданным 2 ячейкам.
person
Jacques Carette
schedule
18.03.2013
Можете ли вы объяснить, как вы относитесь к параметрически полиморфной функции как к функтору?
- person Uday Reddy; 14.03.2014