タグ付けされた質問 「for-comprehension」

MapとFlatMapを理解していないようです。私が理解していないのは、for-incomhensionがmapとflatMapへのネストされた呼び出しのシーケンスであるということです。次の例は、Scalaの関数型プログラミングの例です def bothMatch(pat:String,pat2:String,s:String):Option[Boolean] = for { f <- mkMatcher(pat) g <- mkMatcher(pat2) } yield f(s) && g(s) に翻訳する def bothMatch(pat:String,pat2:String,s:String):Option[Boolean] = mkMatcher(pat) flatMap (f => mkMatcher(pat2) map (g => f(s) && g(s))) mkMatcherメソッドは次のように定義されます。 def mkMatcher(pat:String):Option[String => Boolean] = pattern(pat) map (p => (s:String) => p.matcher(s).matches) そして、パターンメソッドは次のとおりです： import java.util.regex._ def pattern(s:String):Option[Pattern] …

87 scala  map  monads  for-comprehension 

後でマップ、フラットマップなどの関数を適用するときに、フィルターの代わりにwithFilterを使用する方が常にパフォーマンスが高くなりますか？ map、flatmap、foreachのみがサポートされているのはなぜですか？（forall / existsのような期待される機能も）

81 scala  lazy-evaluation  scala-collections  for-comprehension 

この構造がScalaで型の不一致エラーを引き起こすのはなぜですか？ 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 (first,second) 一部をリストに切り替えると、正常にコンパイルされます。 for (first <- List(1,2,3); second <- Some(1)) yield (first,second) res41: List[(Int, Int)] = List((1,1), (2,1), (3,1)) これも正常に機能します。 for (first <- …

81 scala  for-loop  type-mismatch  for-comprehension  scala-option