問題タブ [flatmap]

学校のコーディング課題では、フラットマップを使用する必要がありますが、それが何をするのかまったくわかりません。オンラインで数ページ読んだり、教科書を読んだりしましたが、それが何をするのかまだ真に理解していません。マップが何をするかは知っていますが、何らかの理由でフラットマップに頭を悩ませるのは難しいです。誰でも助けることができますか？ありがとう。

さらに情報を追加するために、オンラインで例を見ると、フラットマップがマップとは異なるものを返す方法がわかります。しかし、flatmap が呼び出されたときに実際に行っていることは何でしょうか。flatmap は実際にどのように機能しますか? 結果を返す前に何をしていますか？

大文字と小文字が一致する上に書かれた flatMap を考えてみましょう。例えば：

ただし、これはコンパイルされません。seq がすべて Option[Int] またはすべて Seq[Int] の場合、flatMap は機能します。ただし、Seq が Options と Seq の混合である場合はそうではありません。なぜそのような制限が設けられているのですか？これは、今のところ考えられない特定のあいまいさを解決しますか。

EDIT1 REPL からのコード スニペットの追加

EDIT2 フィリッポの答えの後、REPLで次のコードを試してみましたが、うまくいきました。

各シナリオで解像度はどのように異なりますか。さらに重要なことに、flatMap の代わりにマップすると、結果は作成した a と同じになりSeqます。

私はしばらくの間、FP 言語 (オンとオフ) を調べており、Scala、Haskell、F# などで遊んできました。私は見たものが好きで、FP の基本的な概念のいくつかを理解しています (圏論のバックグラウンドはまったくないので、数学については話さないでください)。

したがって、関数を取り、を返す型M[A]が与えられます。しかし、関数を受け取って を返すものもあります。また、which を取り、 aを返すものもあります。mapA=>BM[B]flatMapA=>M[B]M[B]flattenM[M[A]]M[A]

さらに、私が読んだソースの多くは、次のように説明flatMapしmapていflattenます。

では、flatMapが と同等のように思われる場合flatten compose map、その目的は何ですか? この質問は実際には Scala 固有のものではないため、「理解のために」サポートするとは言わないでください。そして、私はその背後にある概念よりも、構文糖衣に関心がありません。Haskell のバインド演算子 ( >>=) についても同じ疑問が生じます。どちらも圏論の概念に関連していると思いますが、私はその言語を話せません。

私は Brian Beckman の素晴らしいビデオDon't Fear the Monadを 2 回以上見たことがあります。これがモナド構成演算子であることがわかると思いますflatMapが、彼がこの演算子を説明する方法で使用されているのを見たことがありません。この機能を実行しますか？もしそうなら、その概念をどのようにマッピングしflatMapますか?

ところで、私はこの質問について長い記事を書き、意味を理解するために実行した実験を示す多くのリストを作成し、この質問に遭遇して私flatMapの質問のいくつかに答えました。ときどき、私は Scala の暗黙が嫌いです。彼らは本当に水を濁らせることができます。:)

次のコードはその仕事をします。

しかし、次から次へと 2flatMapつ続くと、見つかった場合にコードが読みやすくなりません。これをよりきれいな方法でどのように書きますか?