ЗП
не могу этот экстенд вкурить для
Store, смысл егоw a -> w (w a) - duplicatem (m a) -> m a - joinSize: a a a
2018 August 16
VY
т.е. после применения
я имею ввиду, что я сейчас представляю себе это так:
если я сделаю
extend это "следующий" Store будетя имею ввиду, что я сейчас представляю себе это так:
если я сделаю
extend, то в этом кортеже (который в Store) я получу ф-цию, которая мне вернет "следующий" StoreЗП
можно сказать это идея
tailsVY
т.е. я как бы могу "передвигаться" от стора к стору с помощью
extendЗП
т.е. я как бы могу "передвигаться" от стора к стору с помощью
extendага, почитай про зипперы и поймешь
VY
можно сказать это идея
tailsа что за идея?
VY
да я вроде перечитывал недавно
VY
да, это перечитывал позавчера) ладно, ну я вроде как-то с трудом ухватил основную идею, наверное. на практике я сразу запутался как увидел
ЗП
монады, стейты, данные
комонады, костейты, коданные
коданные значит могут быть бесконечными структурами по примеру ленты Тьюринга или стримов
комонады, костейты, коданные
коданные значит могут быть бесконечными структурами по примеру ленты Тьюринга или стримов
ЗП
free monad - dsl
cofree comonad - interpreter
cofree comonad - interpreter
к
hm,
newtype E6 a = E6 ((Unit → a → a) → Unit)
foo ∷ ∀ a b. (b → a) → (a → b) → E6 a → E6 b
foo h f (E6 g) = E6 \cb → g (\x y → h $ cb x (f y))
Экспоненциальный функтор
к
Хоть мне больше нравится "инвариант", но я не уверен в корректности
к
pair для StoreT есть StateT
я надеюсь ты понимаешь, что такими сообщениями никак не помогаешь, в чем же цель твоя
про зипперы норм
про зипперы норм
VY
Экспоненциальный функтор
интересно, почему экспоненциальные
ЗП
не, это больше инвариант
VY
про зипперы если честно мне особо тоже не помогло, я три раза перечитал эту главу или 4, т.е. что такое зипперы и как их использовать я понял, но со стором и комонадами я не смог это увязать когда увидел использование в реальной жизни в халогеновом пакете
VY
ЗП