Схема -> Clojure: мультиметоды с предикатами в методах? - PullRequest
Новая
       35

Схема -> Clojure: мультиметоды с предикатами в методах?

11 голосов
/ 01 октября 2011

Я конвертирую некоторый код Scheme в Clojure.В оригинале используется схема диспетчеризации, которая очень похожа на мультиметоды, но с перевернутым подходом к сопоставимым предикатам.Например, есть универсальная функция «назначить операции».Точные детали реализации в данный момент не слишком важны, но обратите внимание, что он может принимать список аргументов-предикатов. 

(define (assign-operation operator handler . argument-predicates)
  (let ((record
         (let ((record (get-operator-record operator))
               (arity (length argument-predicates)))
           (if record
               (begin
                 (if (not (fix:= arity (operator-record-arity record)))
                     (error "Incorrect operator arity:" operator))
                 record)
               (let ((record (make-operator-record arity)))
                 (hash-table/put! *generic-operator-table* operator record)
                 record)))))
    (set-operator-record-tree! record
                               (bind-in-tree argument-predicates
                                             handler
                                             (operator-record-tree record)))))

Отправляемые функции предоставляют эти предикаты, по одному на аргумент в арностифункция. 

(assign-operation 'merge
  (lambda (content increment) content)
  any? nothing?)

(assign-operation 'merge
  (lambda (content increment) increment)
  nothing? any?)

(assign-operation 'merge
  (lambda (content increment)
    (let ((new-range (intersect-intervals content increment)))
      (cond ((interval-equal? new-range content) content)
            ((interval-equal? new-range increment) increment)
            ((empty-interval? new-range) the-contradiction)
            (else new-range))))
  interval? interval?)

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

Как я понимаю, мультиметоды, функция диспетчеризации определеначерез набор реализаций, с отправкой в ​​конкретный метод, основанный на возвращаемом значении dispatch-fn.На приведенной выше схеме новые функции операции присваивания могут произвольно определять предикаты.

Какой будет эквивалентная идиоматическая конструкция в Clojure?

РЕДАКТИРОВАТЬ: Код выше взят из "Искусство пропагандиста" , Алексея Радула и Джеральда Суссмана.

1 Ответ

3 голосов
/ 04 октября 2011

Вы можете сделать это с помощью мультиметодов Clojure довольно просто - хитрость заключается в создании функции диспетчеризации, которая различает различные наборы предикатов.

Самый простой способ сделать это, вероятно, просто сохранить вектор «составных предикатов», которые применяют все отдельные предикаты к полному списку аргументов, и использовать индекс этого вектора в качестве значения отправки: 

(def pred-list (ref []))

(defn dispatch-function [& args] 
  (loop [i 0]
    (cond
      (>= i (count @pred-list))     (throw (Error. "No matching function!"))
      (apply (@pred-list i) args)   i
      :else                         (recur (inc i)))))

(defmulti handler dispatch-function)

(defn assign-operation [function & preds]    
  (dosync
    (let [i (count @pred-list)]
      (alter pred-list conj   
             (fn [& args] (every? identity (map #(%1 %2) preds args))))
      (defmethod handler i [& args] (apply function args)))))

Затем вы можете создавать операции для обработки любых предикатов, которые вам нравятся, следующим образом: 

(assign-operation (fn [x] (/ x 2)) even?)

(assign-operation (fn [x] (+ x 1)) odd?)

(take 15 (iterate handler 77))
=> (77 78 39 40 20 10 5 6 3 4 2 1 2 1 2)
...