Очередной глупый вопрос. Есть вот такой умеренно бесполезный тип data Peano

Question

Очередной глупый вопрос. Есть вот такой умеренно бесполезный тип data Peano

= Z | S Peano
data Vec (n :: Peano) a where
VNil :: Vec 'Z a
VCons :: a -> Vec n a -> Vec ('S n) a
Он очевидно функтор, чуть менее очевидно аппликативный (зиппер). На первый взгляд (и на второй, но может я чего не вижу) -- не монада. Как это можно внятно обосновать кроме "ну у всех инстансов которые я придумал законы не выполняются"? Или всё-таки монада и я недодумал?

#haskell #programming #russian

0

14.04.2021

8 ответов

15 просмотров

Lierdakil Автор вопроса

TOV_MULTIMASSO
Он аппликативный только если из него аналог ZipLis...

Не осмыслил. n как раз таки фиксирован в типе (>>=) :: Monad (Vec n) => Vec n a -> (a -> Vec n b) -> Vec n b. Собственно потому из него монада и не получается (по крайней мере у меня в голове). Но я пока не построил логическую цепочку от одного к другому, поэтому и вопрос.

0

14.04.2021

TOV_MULTIMASSO

Lierdakil
Не осмыслил. n как раз таки фиксирован в типе (>>=...

Чисто логически нет вменяемого способа сделать это для простоянного n

0

14.04.2021

Алексей Худяков

Монада: join ((a,_), (_,b)) = (a,b)

0

14.04.2021

Lierdakil Автор вопроса