На самом деле есть и другие альтернативы (см. ниже).

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

В вашем текущем примере это, кажется, не имеет большого значения, потому что U.placeOrder уже нечисто, но в целом вы хотите, чтобы ваш код Haskell состоял из как можно большего количества ссылочно-прозрачного кода.

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

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

Функциональное ядро, императивная оболочка

Часто вы можете факторизовать свой код, чтобы ваша модель предметной области определялась как набор чистых функций. Часто это проще сделать в таких языках, как Haskell и F#, потому что вы можете использовать типы суммы для передачи решений. Функция U.placeOrder может, например, выглядеть так:

U.placeOrder :: D.Customer -> [D.LineItem] -> U.OrderPlacementDecision

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

Это ваше функциональное ядро. Затем вы должны составить свою императивную оболочку (например, функцию main) в нечистый бутерброд:

main :: IO ()
main = do
  stuffFromDb <- -- call the persistence module code here
  customer -- initialised from persistence module, or some other place
  lineItems -- ditto
  let decision = U.placeOrder customer lineItems
  _ <- persist decision
  return ()

(Я, очевидно, не пытался проверить этот код, но надеюсь, что он достаточно правильный, чтобы понять суть.)

Бесплатные монады

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

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

Я написал серию статей о том, как думать о внедрении зависимостей в F# и Haskell. Я также недавно опубликовал статью, в которой ( среди прочего) демонстрирует эту технику. Большинство моих статей сопровождаются репозиториями GitHub.