Как работают лямбда-выражения в Java?

Лямбда — это компактная запись анонимной реализации функционального интерфейса. Вместо new Comparator<>() { ... } пишешь (a, b) -> a - b. Компилятор выводит типы из контекста. Под капотом лямбды реализуются через invokedynamic и LambdaMetafactory — это эффективнее анонимных классов. Лямбда может захватывать переменные из окружающего скоупа, но они должны быть effectively final. Это основа функционального стиля в Java.