Als «for-comprehension» getaggte Fragen

Ich verstehe Map und FlatMap wirklich nicht. Was ich nicht verstehe, ist, wie ein For-Understanding eine Folge verschachtelter Aufrufe von map und flatMap ist. Das folgende Beispiel stammt aus der funktionalen Programmierung in Scala def bothMatch(pat:String,pat2:String,s:String):Option[Boolean] =...

Warum verursacht diese Konstruktion in Scala einen Typ-Mismatch-Fehler? for (first <- Some(1); second <- List(1,2,3)) yield (first,second) <console>:6: error: type mismatch; found : List[(Int, Int)] required: Option[?] for (first <- Some(1); second <- List(1,2,3)) yield...

Ist es immer leistungsfähiger, withFilter anstelle von filter zu verwenden, wenn anschließend Funktionen wie Map, Flatmap usw. angewendet werden? Warum werden nur Map, Flatmap und Foreach unterstützt? (Erwartete Funktionen wie forall / existieren ebenfalls)