Мне нужна функция map . Есть ли что-то подобное в Java уже?
(Для тех, кто задается вопросом: я, конечно, знаю, как реализовать эту тривиальную функцию сам ...)