Clojure алгебраические типы данных

Question

Я нашел макрос defadt в clojure.contrib.types .К сожалению, в clojure нет полезной документации по использованию ADT.Я часами гуглил и нашел крошечные кусочки информации об этом.Что такое ADT в clojure?Как их использовать?Любая информация будет полезна:)

Answer 1

Некоторую информацию можно найти в файле examples.clj в src / clojure / contrib / types. Он показывает пример древовидной структуры, определенной как adt:

(defadt ::tree
  empty-tree
  (leaf value)
  (node left-tree right-tree))

Дополнительная информация в исходном файле.

Answer 2

Существует действительно интересный пример ADT в Clojure здесь :

Мы определяем генератор ADT следующим образом:

(defmacro data
  [adt-name equals-sign & constructors]
  `(do
     (defn ~(symbol (str adt-name "?")) [~'obj]
       (= ~(str adt-name) (adt-name ~'obj)))
     ~@(for [[type-name & fields]
             (filter (partial not= '(|))
                     (partition-by (partial = '|) constructors))]
         (apply (partial emit-constructor adt-name type-name)
                 fields))))

Учитывая пример на Haskell:

data Tree a = Empty
        | Leaf a
        | Node Tree Tree

Затем мы пишем Clojure

(data Tree = Empty | Leaf value | Node left right)

Что довольно круто.