Java 8 частичное применение функции/выделки

Question

public static <T, U, R> Function<U, R> partial(BiFunction<T, U, R> f, T x) { 
     return (y) -> f.apply(x, y); 
    } 

В приведенном выше выражении, я могу понять, что функция частичных возвращает другую функцию, Function<U, R>. То, что Function<U, R> само по себе возвращает значение R. Что остальное static <T, U, R> означает? Я имею в виду, если Function<U, R> возвращает R, что является сделкой с <T, U, R>?

Answer 1

(Я знаю, что это не технически корректно в терминологии Java, но я хочу сказать «аргумент» ниже, где я имею в виду «формальный параметр», потому что смешивание «формального параметра» и «параметра типа» повсюду сбивает с толку.)

T - параметр типа для аргумента x.

partial принимает два аргумента:

• f, функцию, которая принимает T и U и возвращает R:
  BiFunction<T, U, R> f

• x, который имеет тип T:
  T x

partial возвращает новую функцию, которая принимает только U (не T и U) и возвращает R. Вместо того, чтобы ожидать аргумент T, новая функция использует x, предоставленную partial при вызове f.

Вкратце: Это возвращает новую функцию, в которой первый аргумент (типа T) был частично применен (кэрри) с помощью x аргумента partial «ы.

Причины мы <T, U, R> ближе к началу декларации является то, что, как синтаксис Java позволяет нам определить, что partial является универсальным методом, используя параметры типа T, U и R (в противном случае, они выглядят типа имен , а не параметров).