comonad- все статьи тега ➜ страница 0

Комонады Застежки-Молнии, Вообще

учитывая любой тип контейнера, мы можем сформировать (ориентированную на элемент) молнию и знать, что эта структура является Комонадой. Это было недавно исследовано в замечательных деталях в другом вопросе переполнения стека для следующего типа: data Bin a = Branch (Bin a) a (Bin a) | Leaf a deriving Functor со следующей застежкой-молнией data Dir = L | R data Step a = Step a Dir (Bin a) deriving Functor data Zip a = Zip [Step a] (Bin a) deriving Functor instance Comonad Zip where ... э ...