問題タブ [lifting]

私はScala関数を書きました：

このパターンに名前はありますか？ケース 1 と 2 により、これはまったく適用可能なファンクターではありません。Haskell または Scala コードで自由に答えてください。

『 Functional Programming In Scala』という本には、型を持つ関数A => Bが に昇格される「Lift」の例がありOption[A] => Option[B]ます。

これがリフトの実装方法です。

これに関していくつかの混乱があります：

最初のものは、ここの「_」は何ですか? 次に、定義から戻り値の型を削除すると、型推論がその魔法を行うことを期待して、次の例外が発生します。

誰かがここで何が起こっているのか説明できますか?

ありがとう

Scala エコシステムの記事を読んでいると、"lifting" / "lifted" という用語を読むことがあります。残念ながら、それが正確に何を意味するのかは説明されていません。調べてみたところ、リフティングは機能的価値などと関係があるようですが、実際にリフティングとは何かを初心者向けに説明しているテキストを見つけることができませんでした.

名前にリフティングが含まれるLiftフレームワークにはさらに混乱がありますが、質問への回答には役立ちません。

Scalaの「リフティング」とは?

2 番目のパイプ ( ) がなくても問題ないパイプを使用した次のコードがあります>-> P.mapM ( fillMD5)。fillMD5は操作a -> IO aです。

エラーは次のとおりです。

のタイプmapMが

Safe.SafeTしかし、これを?に持ち上げる方法がわかりません。