松散的自然变换只是自然变换而没有自然性？

Question

在Theorems for free!的第4页中，Philip Wadler说参数化可以用松弛的自然变换来表达。他指的是函数式编程语言中的参数化多态函数是自然变换而没有它们的自然性证明吗？由于我还没有找到松散自然变换的合适定义，所以这是我的想法到目前为止。

Answer 1

不，他不是。他指的是the n-lab所述的松散自然变换概念，并在this MathOverflow question中进行了讨论。

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