так что опять же это все оопные мифы

функция может принимать больше аргументов чем ей нужно - это не желательно но допустимо

по сути это и есть диай

def f: Context => arguments => result

не понял этой фразы конечно

ну смотри, есть функция a=>b=>c, можно a=>b схлопнуть в Context и заодно добавить в него какой-нибудь x чтобы другие функции тоже Context могли принять

не желательно, но допустимо так как популяризировано спрингом

два стула - или точное указание зависимостей функции или простой вызов всех функций с одни аргументом

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

И все это чтобы НЕ ПЕРЕДАВАТЬ АРГУМЕНТЫ РУКАМИ ЧЕРЕЗ ВСЮ ПРОГРАММУ.

А ты предлагаешь передавать аргументы через всю программу

спринги и дитсейджи просто балансируют между ними

верно

точнее я говорю что это всего лишь вопрос группировки параметров и тут нету серебряной пули

или ты будешь слишком дохера передавать или будешь немного больше печатать (печатать могут помочь текстовые редакторы и компилятор)

Или ты будешь передавать ровно столько, сколько нужно)

угу, простыми функциями

и то если они флатенят все аргументы и убирают ненужные части

не только состояние. любые детали реализации, включая зависимости.

таким образом можно $GLOBAL принять за инкапсуляцию

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

это из какого языка? не понял мысль.