동일한 유형의 다중 메소드에 대해 여러 구현을 제공 할 수 있습니까?

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과 같이 별도의 함수 (또는 별도의 다중 메소드)를 사용하는 것이 아마도 올바른 방법 일 것입니다. 그것에 대해 가라. 프로그래밍 방식으로 인수를 구분하는 몇 가지 방법이, 그리고 그 구별 특성에 따라 서로 다른 방법의 구현을 사용하는 개념적인 의미가있는 경우

, 당신은 차이를 만들기 위해 defmulti의 dispatch-fn 인수를 사용할 수 있습니다.

간단한 예를 들어, foo를 dispatch-fn으로 사용하면 key : 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) 

그러나 이것은 좋지 않습니다. 함수 매개 변수의 유형을 얻는 다른 방법이 있다면 솔루션은보다 멋지게 보일 수 있습니다.