問題タブ [lifting]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
scala - List[A] から List[Option[A]] への Scala リフト
Scalaでは、次の操作を実行する汎用関数を作成するにはどうすればよいですか:
f: List[A] ==> List[Option[A]]
haskell - fmap変換が適用されると、ファンクターは常にhaskellで持ち上げられた型を返しますか?
があり、をファンクターとして使用して変換をInt
適用すると、ラップされた型、つまり. では、これをリフティングと見なすことができますか? もしそうなら、ファンクターは常に持ち上げられた型を返しますか?fmap
Maybe
Maybe Int
scala - 関数型プログラミングの「リフティング」は厳密な規則に従いますか?
「リフティング」q/a を調べたところ、リフト関数は形状を変更する変換関数 (モナド変換など) とまったく同じように思えました。
ポイントまたはリフト機能 (「リフティング コンセプト」) にはルールがありませんか?
そうでない場合、それは機能変換の単なる概念ですか?