Возможно ли предусмотреть несколько различных реализаций многомерного метода для одного и того же типа?

Question

Как создать несколько реализаций мультиметода для одного типа данных?

Это не может быть отличным примером, но я надеюсь, что это иллюстрирует мысль: быть в состоянии обработать вложенные векторы как в последовательности:

repl> (def thing [[[1] []] [27] [18 [32 35]]]) 

repl> (fmap count thing) 
[2 1 2] 

и как деревья:

repl> (fmap (partial + 1) thing) 
[[[2] []] [28] [19 [33 36]]] 

Что такое общий способ создания и использования нескольких реализаций нескольких меток для одного и того же типа?

Answer 1

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

Если у вас есть какой-то способ программно отличить аргументы, и он делает концептуальный смысл использовать разные реализации методов на основе этих отличительных характеристик, тогда вы можете использовать аргумент dispatch-fn, чтобы сделать различие.

В качестве простого примера вы можете использовать ключ: foo как dispatch-fn, который будет отправлять на значение, связанное с ключом: foo на карте, которая передается в качестве единственного аргумента вашему мульти-методу.

Answer 2

В вашей проблеме вам нужно отправить параметр типа fmap first arg. AFAIK нет (простой?) Способ определить тип аргумента любых функций (исправьте меня, если это не так). Поэтому вы должны добавить это как некоторые метаданные в параметр или что-то в этом роде. Например,

(defmulti fmap (fn [f _] ((comp :arg-seq? meta) f))) 

(defmethod fmap true [f col] 
    (map-tree f col)) 

(defmethod fmap false [f col] 
    (map f col)) 

(fmap (with-meta inc {:arg-seq? true}) thing) 
-> [[[2] []] [28] [19 [33 36]]] 

(fmap (with-meta count {:arg-seq? false}) thing) 
-> (2 1 2) 

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