scala - 関数型プログラミングの「リフティング」は厳密な規則に従いますか?

Question

「リフティング」q/a を調べたところ、リフト関数は形状を変更する変換関数 (モナド変換など) とまったく同じように思えました。

ポイントまたはリフト機能 (「リフティング コンセプト」) にはルールがありませんか?

そうでない場合、それは機能変換の単なる概念ですか?

Answer 1

Lifting doesn't change the 'shape', just the 'type'. By this I mean that lifting a function into, e.g., a List<A> results in a List<B>. The shape (List) doesn't change, but the specific type may.

You are right that it is similar to any other transformation. In fact, the standard operation map is the mechanism of 'lifting' a function of a single variable into the Functor (the datatype being mapped over). So, you can think of map as lift1, then you have lift2 (for functions of two variables), etc.