История изменений

Исправление Jini, 23.05.17 20:22 (текущая версия) :

Например, так?

(deftype type-ab (type-a type-b)
  (let ((predicate (gensym)))
    (setf (symbol-function predicate)
          (lambda (value)
            (and (typep (slot-value value 'a) type-a)
                 (typep (slot-value value 'b) type-b))))
    `(satisfies ,predicate)))

Исходная версия Jini, 23.05.17 20:21:

Например, так?

(deftype type-ab (type-a type-b)
  (let ((predicate (gensym)))
    (setf (symbol-function predicate)
          (lambda (value)
            (and (typep (slot-value value 'a) type-a)
                 (typep (slot-value value 'b) type-b))))
    `(satisfies ,predicate)))