Товарищи вот чего спрошу. В джаве разработчики по неосмотрительности оставили инференцию типов дженериков и типов параметров лямбд. В итоге, получается что можно писать так что бойлерплейта типа  var и Borsch borsch = new Borsch(); и Borsch.newBuilder().addSmetana().build(); писать не нужно, если использовать тип Function для почти всего с пачкой функций-комбинаторов. Если обмазать это немутабельными коллекциями то будет совсем красиво(ну, с моей точки зрения). Вот, а насколько в разрез это пойдет с идиоматичной джавой?

Где-то я уже видел эту собаку на аватарке...

А что Вы тут понимаете под пачкой функции-комбинаторов?

Я не потроллить, я на серьёзных щах. Ну, например скомпозить A -> F<B>, B -> F <C> для какого-нибуть конкретного F в A => F<C>

Я не потроллить, я на серьёзных щах. Ну, например скомпозить A -> F<B>, B -> F <C> для какого-нибуть конкретного F в A => F<C>

Может не совсем понял сути, но почему если есть эта пачка функции-комбинаторов, то билдеры не нужны?

Товарищи вот чего спрошу. В джаве разработчики по неосмотрительности оставили инференцию типов дженериков и типов параметров лямбд. В итоге, получается что можно писать так что бойлерплейта типа  var и Borsch borsch = new Borsch(); и Borsch.newBuilder().addSmetana().build(); писать не нужно, если использовать тип Function для почти всего с пачкой функций-комбинаторов. Если обмазать это немутабельными коллекциями то будет совсем красиво(ну, с моей точки зрения). Вот, а насколько в разрез это пойдет с идиоматичной джавой?

Вы под не привели, остается тольео гадать.
Если вы имели ввиду патерн GenericBuilder и его использовприе вроде такого:
Person value = GenericBuilder.of(Person::new) .with(Person::setName, "Otto").with(Person::setAge, 5).build();

То, на мой взгляд это вполне себе вписывается в новую идиматику java и не должно вызывать серьезных побочных эффектов совместимости кода.
Альтернативные способы, вроде Limbok @Build уже вмешиваются в компиляцию, и по сути расширяют идиоматику Java, могут вызвать повеление, несовместимое с АОП и другими расширениями.

Потому что билдер - не функция, а соль описанного подхода - всё есть функция. Инференция ломается, тайпчек ломается

какой еще тайпчек? билдер - это паттерн. это отдельный класс. можете его и в функцию какого либо класса обернуть - если хочется

Это в джаву HList завезли?

В этом то и проблема что паттерн

За вэлью я и сам сколько хош могу поговорить, мне интересно немного другое