ну то есть у тебя бизнеслогика вполне ложится на простые типы -
это здорово, когда так.

но вот это прямо не часто бывает :)

Ну да, я же не говорил что хочу спекой обмазаться с головы до ног и все правила в нее пихать) Просто для некоторых вещей она довольно удобна)

элементарно, проверка на непересечения расписания сразу не ляжет.

спору нет.

Так, короче я понял что валидировать данные придётся иногда в нескольких местах пайплайна

Другой вопрос: если кто-то пользовался clojure.core.match, как композировать вызовы функции match?

и именно потому, что проверки условий бывают очень разные по смыслу и содержанию

Есть какой-нибудь flatmap для них или можно как-нибудь поднаписать?)

у тебя и так они валидируются во многих местах, ТСР контрольные суммы пакетов вроде проверяет. Про графкуэль валидацию уже писал выше (если он есть конечно).

сразу покажу зачем это надо:

(match (validate data)
  [:ok validated-data] (match (use validated-data)
                         [:ok result] (ok result)
                         [:error msg] (bad-request msg))
  [:error msg] (bad-request msg))

Валидировать удобно в мидлвари или декораторе, словом, как можно раньше

Стоит помнить, что ошибки при валидации спекой очень далеки от понимания обычным человеком и если стоит задача, чтоб пользователь понимал, что его данные не подходят и почему они не подходят – валидация спекой в мидлваре не лучший выбор. С другой стороны для этой задачи можно дополнительно держать ещё и malli, которая относительно нормально умеет справляться с подобной задачей, но все же хуже чем ошибки из хендлера.

да можно же свой маппинг ошибок для спеки запилить

И он будет нормально работать, когда тебе надо пояснить что какое-то значение во вложенности н не валидно? У меня всегда выкидывает простыню текста которую достаточно нетривиально парсить.

(match (validate data)
  [:ok validated-data] (match (use validated-data)
                         [:ok result] (ok result)
                         [:error msg] (bad-request msg))
  [:error msg] (bad-request msg))

ну то есть тебе вот это надо?
https://github.com/adambard/failjure

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

ну это тоже не про то

это вообще про ошибки, а не про спеки

я про композицию проверок