r
Точно так же сижу когда в офисе. Супер удобно.
Size: a a a
2021 December 10
Д
Нужно хранить в переменной список, текущее положение в списке(index) и некоторое состояние (data Condition, от него зависит положение функции). Как лучше реализовать? Думаю, через State монаду, но непонятно, куда тогда деть index
[
в стейте :)
AP
Или без индекса, но с зиппером
AP
Индексы с функциональными списками плохо сочетаются
[
только хотел написать, да
[
не стоит использовать лист как массив
[
используй массив как массив
AP
Или можно взять IntMap
[
а интмап это префиксное дерево?
[
да, оно
AP
Да, по классике, по Окасаки
[
я классику не знаю
AP
"Чисто функциональные структуры данных", Крис Окасаки
AP
Интересно почитать, пусть с тех пор и повеселее структуры понапридумывали. Вроде finger trees
[
слышал про них в контексте сета
AP
data Zipper a = Zipper { lefts :: [a], cursor: a, rights :: [a] }
left (Zipper ls c (r:rs)) = Just $ Zipper (c:ls) r rs
left _ = Nothing
right (Zipper (l:ls) c rs) = Just $ Zipper ls l (c:rs)
right _ = Nothing
Идея такая примерно. Это такой курсор для структуры данных, который можно перемещать по структуре, получая прямой доступ к нужному месту.Д
А между ними есть разница?..
AP
Списки в Haskell — односвязные