ラムダ式は、「関数型インターフェース（抽象メソッドを1つだけ持つインターフェース）」のインスタンスを生成する簡易記法として評価されます。 そのため、代入先の変数や引数の型が求める関数型インターフェースの抽象メソッドのシグネチャに合わせて、パラメータの型や戻り値の型がコンパイラによって自動的に推論されます。 ラムダ式の構文には、以下の省略ルールが適用されます。 - パラメータが単一で型を明示しない場合、丸かっこ () を省略可能（例: x -> x * 2）。 - 処理本体が単一の文である場合、波かっこ {} および末尾のセミコロン ; を省略可能。 - 単一の式が結果を返す場合、return キーワードおよび波かっこ {} を省略可能。ただし波かっこ {} を残す場合は return と ; の両方が必須となります。

ラムダ式の受け皿となる「関数型インターフェース」や、型推論を行う「var」、コレクション操作を簡潔にする「ArrayListクラス」はラムダ式の理解に必須の関連概念です。