Слушайте

Как в кложе ио-монаду сделать?

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

как сделать алгебраические эффекты тогда?

ну и "монады" на сдачу https://github.com/darkleaf/effect/blob/master/test/darkleaf/effect/middleware/context_test.cljc

Жестко. В таком стиле кто-то пишет?..

ну есть такой момент, что если ты заворачиваешь что-то, что работает лучше с type hints, то partial тебе всё это счастливо скроет и никаких reflection warning не скажет

Слушайте. Как натянуть сову на глобус? ..... Жестко. Так кто-нибудь натягивает?

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

то есть окажется, что (partial +) даст менее производительный вариант, чем #(+ ^int %1 ^int %2)

“правильная" котлин-версия со всеми типами выглядит отак

val fleet = problem.fleet
val tours = solution.tours.orEmpty()

val tourVehicles = tours.map { t -> fleet.types.find { vt -> vt.id == t.typeId } }

val violatingTours = tours.zip(tourVehicles)
    .filter { (tour, vehicleType) ->
        vehicleType == null || tour.stops.any { s ->
            s.load.zip(vehicleType.capacity).any { (l, c) -> l > c }
        }
    }

аналогичная кложа

(defn vehicle-by-type [fleet type-name]
  (m/find fleet
    {:types
     (m/scan {:id ~type-name :as ?vechicle})}

     ?vechicle))

(defn capacity-not-exceded? [vechicle stop]
  (let [load (:load stop)
        capacity (:capacity vechicle)]
 
    (some true? (map < capacity load))))

(defn find-capacity-violation [tour fleet]
  (let [type-name (:typeId tour)
        vechicle-type (vehicle-by-type fleet type-name)
        stops (:stops tour)]
    (filter (partial capacity-not-exceded? vechicle-type) stops)))


(defn validate-maximal-capacity [problem solution]
  (let [fleet (:fleet problem)
        tours (:tours solution)]
    (->> tours
         (map #(find-capacity-violation % fleet))
         (remove empty?)
         )))

А что такое монада ? Что за мем?

но тут конечно есть разница, всё порезано на функции-шмункции, а в сампле котлиновского кода нет всех 50 датаклассов

 
(->> tours
         (map #(find-capacity-violation % fleet))
         (remove empty?))

после одной дискуссии я с первого взгляда вижу места для keep 😁

Монада - это просто моноид в категории эндофункторов

только нил должна возвращать функция )

 
(->> tours
         (map #(find-capacity-violation % fleet))
         (remove empty?))

TIL, спасибо