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

Question

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

Answer 1

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

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