フィルタの代わりにwithFilter

Question 1

後でマップ、フラットマップなどの関数を適用するときに、フィルターの代わりにwithFilterを使用する方が常にパフォーマンスが高くなりますか？

map、flatmap、foreachのみがサポートされているのはなぜですか？（forall / existsのような期待される機能も）

Question 2

注：の差c filter pとは、c withFilter p後者のみが、後続のドメイン制限前者は、新しいコレクションを作成することでmap、flatMap、foreach、およびwithFilter動作を制御します。

だから、filter元のコレクションを取得し、新しいコレクションを作成しますが、withFilter非厳密（すなわちなまけ）、後に通過フィルタリングされていない値を渡しますmap/ flatMap/withFilter（フィルタリング）コレクションを通る第2のパスを保存し、通話。したがって、これらの後続のメソッド呼び出しに渡すときに、より効率的になります。

実際、withFilterこれらのメソッドのチェーンを操作するために特別に設計されています。これは、理解のために脱糖化されたものです。これには他のメソッド（forall/などexists）は必要ないため、のFilterMonadic戻り値の型に追加されていませんwithFilter。

Question 3

他にシャドウランズの優れた答え、私は違いの直感的な例持参したいfilterとしwithFilter。

次のコードを考えてみましょう

val list = List(1, 2, 3)
var go = true
val result = for(i <- list; if(go)) yield {
   go = false
   i
}

ほとんどの人はresultに等しいことを期待していますList(1)。これは、Scala 2.8以降のケースです。これは、理解のために次のように翻訳されているためです。

val result = list withFilter {
  case i => go
} map {
  case i => {
    go = false
    i
  }
}

ご覧のとおり、変換によって条件がへの呼び出しに変換されwithFilterます。以前のScala2.8では、理解のために次のようなものに翻訳されていました。

val r2 = list filter {
  case i => go
} map {
  case i => {
    go = false
    i
  }
}

を使用するとfilter、の値はresultかなり異なりますList(1, 2, 3)。フィルタはすでに作成されているため、goフラグfalseを作成しているという事実はフィルタに影響を与えません。繰り返しますが、Scala 2.8では、この問題はを使用して解決されwithFilterます。withFilterを使用すると、mapメソッド内で要素にアクセスするたびに条件が評価されます。

参照：-p.120、Scala in action（Scala 2.10をカバー）、Manning Publications、MilanjanRaychaudhuri-理解のための翻訳に関するOderskyの考え

Question 4

forall / existsが実装されていない主な理由は、ユースケースが次のとおりであるためです。

withFilterを無限のストリーム/反復可能ファイルに遅延適用できます
あなたは怠惰に別のwithFilterを適用することができます（そして何度も何度も）

forall / exitsを実装するには、すべての要素を取得して、怠惰さを失う必要があります。

したがって、たとえば：

import scala.collection.AbstractIterator

class RandomIntIterator extends AbstractIterator[Int] {
  val rand = new java.util.Random
  def next: Int = rand.nextInt()
  def hasNext: Boolean = true
}

//rand_integers  is an infinite random integers iterator
val rand_integers = new RandomIntIterator

val rand_naturals = 
    rand_integers.withFilter(_ > 0)

val rand_even_naturals = 
    rand_naturals.withFilter(_ % 2 == 0)

println(rand_even_naturals.map(identity).take(10).toList)

//calling a second time we get
//another ten-tuple of random even naturals
println(rand_even_naturals.map(identity).take(10).toList)

ten_rand_even_naturalsはまだイテレータであることに注意してください。toListを呼び出す場合にのみ、乱数が生成され、チェーンでフィルタリングされます

map（identity）はmap（i => i）と同等であり、withFilterオブジェクトを元のタイプ（コレクション、ストリーム、イテレーターなど）に変換するためにここで使用されることに注意してください。

Question 5

forall / presents部分の場合：

someList.filter(conditionA).forall(conditionB)

と同じになります（少し直感的ではありませんが）

!someList.exists(conditionA && !conditionB)

同様に、.filter（）。exists（）を1つのexists（）チェックに組み合わせることができますか？

Question 6

イールドに使用すると、次のような回避策があります。

for {
  e <- col;
  if e isNotEmpty
} yield e.get(0)

Question 7

回避策として、あなただけで他の機能を実装することができますmapし、flatMap。

さらに、この最適化は小さなコレクションでは役に立ちません…