polymorphism - 松散的自然变换只是没有自然性的自然变换吗？

Question

免费在Theorems 的第 4 页！, Philip Wadler 说，参数性可以用松散的自然变换来表示。他是否指的是函数式编程语言中的参数多态函数是自然转换而没有证明其自然性的事实？由于我还没有找到宽松自然变换的适当定义，所以这是我目前的想法。

Answer 1

他不是。他指的是在n-lab中描述的松弛自然变换的概念，并在此 MathOverflow 问题中进行了讨论。

他指的是参数多态函数可以被视为Functors的事实。正是它们的参数化被视为一种松散的自然变换。基本上，这是从参数多态函数的任何特化到任何其他函数的统一方式。松懈的原因是事情不会在鼻子上通勤（即应用+运输与运输+应用不完全相同），但它们取决于给定的2个单元格。