как правильно передевать кучу ключевых аргументов?

Use objects, Luke!

Поможет ООП и понятие объекта.

Да это я понимаю. Но хочется найти решение без явного использования ооп. Как бы это сделать, например на Си?

Структура?

Что значит без явного? Структуры, глобальные переменные.

То, что тебе нужно, называется «контекст». Самая главная функция инициализирует контекст должным образом и вниз спускает только его (указатель на него). Низлежащие функции смотрят в контексте на то, что им нужно.

спасибо, похоже, это то, что нужно

да, кстати, а вы имели в виду не продолжения (continuation)?

заименованные параметры в виде хэша, или мапа.

Все функции разберут то что им надо по ключам. Передаём только пойнер на тот мап (контекст как сказали выше). Я часто кстати обзываю эту одну сущность контекстом (в любом из языков), и глубина пайплайна может быть какая угодно.

Особенно эффективно это будет работать для численных рассчетах

Если нужна эффективность, а не наглядность для программиста - никто не мешает передавать массивы и работать только с индексами (имея скрытую сложность - кто какой индекс разбирает, что может аукнуться - если документация поддерживается плохо).
Чел говорит про аргументы, задаваемые пользователем, т.е. их будет не много. А если они необходимы часто (в численных рассчётах) - никто не мешает их кешить локально, и сохранить ясность передачи аргументов таки по именам (как мап, как предлагалось изначально).
Так что сарказм не уместен.

да, кстати, а вы имели в виду не продолжения (continuation)?

Нет.

«контекст» - это из COP?

он имел в виду, например, динамические пепременные в CL.

Вы, кажется. немного забываетесь на счёт ЯП ТС. А то тут у вас полезли хэши, словари прочие прелести и проблемы мимо которых си проходит стороной. Ваши индексы с массивами в контексте ТС есть как раз структура, наглядное и одновременно эффективное представление параметров.

он имел в виду, например, динамические пепременные в CL.

Я имел в виду просто контекст :) Структура со всеми нужными переменными - контекст. Хэш со всеми нужными переменными - тоже контекст. Массив с параметрами тоже контекст. И вагон аргументов функций - это тоже он. ТС остаётся только понять, что код исполняется в каком-то контексте, и этот самый контекст можно организовать 101 способом. Будет лучше, если он представлен одним параметром, а не тыщей, и с ним легко работать.

Тут монада Reader напрашивается сама собой :) А если серьезно, то используй структуры, записи или как они там называются в твоем языке.

> Тут монада Reader напрашивается сама собой :)

А на Ocaml/F# можешь нарисовать решение?

Кстати, да - интересен пример с монадой. если не сложно, напишите..

На F# легко воссоздать монаду Reader. На осaml - фиг знает как.

а ссылку можно на конкретный пример

Дьявол кроется в деталях, т.е. в синтаксическом сахаре. Просто вычисление в монаде Reader - это функция, которой передается некоторое окружение. В случае монады оно передается каждому этапу вычисления. Поэтому все твои функции, будучи закодированными в монаде, будут иметь доступ к параметру окружения (к твоей «куче ключевых аргументов»). Главное, чтобы закодированные таким способом твои функции были вовлечены в это самое монадическое вычисление. Механика очень простая, но писать это без синтаксического сахара замучаешься. Да, и пост был на половину шуточным. Писать в таком стиле на Си, к примеру, - это ССЗБ, да еще без GC. А детали по монаде Reader можешь узнать, взяв учебник по хаскелю.