Спасибо за фидбек!

Классы дебажить проще

И чинить кст

Если будете переписывать на стракты

Сделайте им боа конструкторы всем)

Это что.

Кроме каламбура на удава.

классы наверное дебажить проще да

и чинить

(defmethod div ((matrix float2x2) scalar)
  (make-float2x2
   (map 'vector
        (ax:rcurry #'/ scalar)
        (in-vec matrix))))

Почему бы не произвести одно деление в начале и мапить умножение, если уж речь якобы о float'ах (хотя на самом деле нет, и в итоге непонятно, какой intent)?

Определять деление как метод это тоже вызывает вопросы. Все методы совершенно одинаковые, и в мультилинейной алгебре над одним полем делить разными способами особо нет возможности.

Хм, хорошая идея.

(defmethod div ((matrix float2x2) scalar)
  (make-float2x2
   (map 'vector
        (ax:rcurry #'/ scalar)
        (in-vec matrix))))

Вот это.

Дело в том, что хочется для векторов тоже иметь такие же методы.

С такими же именами.

Почему не что-то в духе

(declaim (inline mul))

(defun mul (scalar array)
  (declare (type single-float scalar))
  (map-into (make-array (array-dimensions array)
                        :element-type (array-element-type array))
            (lambda (x)
              (declare (type single-float x))
              (the single-float (* scalar x)))
            array))

(defun div (array scalar)
  (declare (type single-float scalar))
  (mul (the single-float (/ scalar))
       array))

?

(Можно получше специализировать на float'ах потом, суть вопроса не в этом.)

(declaim (inline mul))

(defun mul (scalar array)
  (declare (type single-float scalar))
  (map-into (make-array (array-dimensions array)
                        :element-type (array-element-type array))
            (lambda (x)
              (declare (type single-float x))
              (the single-float (* scalar x)))
            array))

(defun div (array scalar)
  (declare (type single-float scalar))
  (mul (the single-float (/ scalar))
       array))

Да, так намного лучше действительно!

Я согласен, что с этим все хреново. Поэтому я даже не смотрю в сторону чего угодно с многомерными массивами пока не будет приличных инструментов (я пытаюсь один написать, но это непросто, и время не всегда есть). В частности, map-into и map требуют одномерный массив.

Это скорее не идея, а просто следствие педантичного взгляда на предметную область: не существует никакого деления в векторных пространствах, существует умножение на скаляр. Поэтому само наличие операции div для таких объектов, которые тут есть, вызывает на самом деле некоторую тревогу на тему того, что она концептуально бессмысленная.

Ну, это понятно.