ラムダ式とStreamAPIと数学頭

Java SE 8の新機能ですごいらしいラムダ式とStream APIを勉強してみた。
使ったのは、このスライドショー
ステップ・バイ・ステップで学ぶラムダ式・Stream api入門 #jjug ccc #ccc h2
おかげで何となくよく分かってなかった型推論と、ラムダ式も分かってきた。

Streamのメソッドは数学（集合論）のこんな操作に対応する感じだな。

• filterメソッド：部分を取る。
• mapメソッド：写像で送って像を取る。

部分の取り方や写像の定義が引数で描写されていると、集合論で考えると分かりやすいのね。
んでまぁ、結果として欲しい構造を持った集まりにはCollectメソッドがやってくれると。