polymorphism - 緩い自然変換は、自然性のない単なる自然変換ですか？

Question

定理の4ページに無料で！、Philip Wadlerは、パラメトリシティは緩い自然変換の観点から表現できると述べています。彼は、関数型プログラミング言語のパラメトリックポリモーフィック関数が、その自然性の証明のない自然変換であるという事実に言及していますか？緩い自然変換の適切な定義を見つけられなかったので、これはこれまでのところ私の考えです。

Answer 1

いいえ、そうではありません。彼は、n-labで説明されているように、緩い自然変換の概念に言及しており、このMathOverflowの質問で説明されています。

彼は、パラメトリックにポリモーフィックな関数がファンクターとして見ることができるという事実に言及しています。緩い自然変換として見られるのは、それらのパラメトリシティです。基本的に、これは、パラメトリックポリモーフィック関数の特殊化から他の特殊化に移行するための統一された方法です。それが緩い理由は、物事が鼻で通勤しないためです（つまり、適用+輸送は輸送+適用とまったく同じではありません）が、それらは与えられた2セルまでです。