169 похожих чатов

Всем привет. Подскажите, пожалуйста, возможно ли определить тип для двумерной

матрицы, состоящей из элеметов типа Int, таким образом, чтобы под него подходили матрицы произвольного размера?

Другими словами, если есть:
- тип матрицы Matrix,
- тип трансформации MatrixTransform :: Matrix -> Matrix,

и если:
- S это множество трансформаций типа MatrixTransform,
- • это . (function composition),
- identity - это функция id,

То является ли это моноидом?

Конкретно меня интересует ассоциативность.

. :: (b -> c) -> (a -> b) -> (a -> c)

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

Думаю, конструктор можно как минимум определить как [Int] -> h -> w, главное, чтобы h * w были равны длине списка.

3 ответов

11 просмотров

Технически, честного моноида тут не получится, получится категория

Ilya-Chernov Автор вопроса

https://hackage.haskell.org/package/matrix-0.3.6.1/docs/src/Data-Matrix.html#Matrix Вот тут что-то похожее сделано

если есть тип Matrix : Nat -> Nat -> Type который представляем матрицу n*m в виде значения типа Matrix n m то для любых n : Nat, множество функций Matrix n n -> Matrix n n с функцией (\x. x) : Matrix n n -> Matrix n n в качестве id будет моноидом

Похожие вопросы

Обсуждают сегодня

Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
как быть с принтером? такой подход прокатит?
zamtmn
12
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
А вот это что за конструкция? Вернее, она тут нафига?
Serjone
10
Привет. Подскажите, как правильно сматчить лист фиксированного размера, чтобы компилятор не говорил мне о неполном паттерне? Допустим что-то такое [x', y'] = sort [x, y]?
Arseny
8
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
Мужики. привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных элементов...
Kraszx
2
Карта сайта