Implementing Multimethods

Multimethods are one of Clojure’s primary polymorphism mechanisms. They allow dispatch on an arbitrary number of arguments, by combining a dispatching function with one or more methods. Here’s a way to implement them.

First, we will need a way to keep track of method implementations. This method registry is state, which we can store in an atom. By using a private definition, we encapsulate the state inside the namespace.

(ns multimethods
 (:refer-clojure :exclude [defmethod defmulti methods]))

(declare multi-fn)

(def ^:private methods (atom {}))

Next up is multimethod defition. defmulti creates a new entry in the methods map, and defines the actual multimethod.

(defmacro defmulti [name dispatch-fn]
  (swap! multimethods assoc name {})
 `(def ~name ~(multi-fn name (eval dispatch-fn))))

When the multimethod is called, it first determines the dispatch value by calling it’s dispatch function. It then looks up the method implementation for the dispatch value in the methods map. When a matching implementation is found, the multimethod applies it to it’s arguments. Otherwise, it throws an error.

(defn multi-fn [name dispatch-fn]
  (fn [& args]
    (let [dispatch-val (apply dispatch-fn args)
          method-impl  (get-in @multimethods [name dispatch-val])]
     (if method-impl
       (apply method-impl args)
       (throw (Error. (str "No implementation of "
                            name " for " dispatch-val)))))))

defmethod simply adds an implementation to the methods map under the given name and dispatch value.

(defmacro defmethod [name dispatch-val params & body]
  (swap! multimethods assoc-in [name dispatch-val]
    (eval `(fn [~@params]

An example:

; Define a multimethod, add entry to methods map
(defmulti print-even? even?)

; Add two implementations to the methods map
(defmethod print-even? true [n]
  (println n "is even"))

(defmethod print-even? false [n]
  (println n "is odd"))

; Look up the implementation by dispatch value,
; and apply it to the given arguments.
(print-even? 0)
; "0 is even"