DL
а если открыть два имакса и они будут в один демон смотреть, тогда все буферы в двух имаксах будут общими
projectile спасёт гиганта мысли
т.е.
(f a)
(g a) <- ошибка?
Size: a a a
2020 August 18
m
нет, g увидит a после мутации f
первый же persistent! поломает все попытки мутировать a или любой связный с ним биндинг (даже ретерн из функции)
первый же persistent! поломает все попытки мутировать a или любой связный с ним биндинг (даже ретерн из функции)
m
т.е.
(def b (f a))
(persistent! a)
(assoc! b 0 0) <- ошибка
(def b (f a))
(persistent! a)
(assoc! b 0 0) <- ошибка
DL
нет, g увидит a после мутации f
первый же persistent! поломает все попытки мутировать a или любой связный с ним биндинг (даже ретерн из функции)
первый же persistent! поломает все попытки мутировать a или любой связный с ним биндинг (даже ретерн из функции)
зачем тебе мутировать аргумент функции?
m
зачем тебе мутировать аргумент функции?
а зачем трансиент at the first place?
m
Вроде вот эта статейка норм, точно не помню, давно читал.
https://hypirion.com/musings/understanding-persistent-vector-pt-1
https://hypirion.com/musings/understanding-persistent-vector-pt-1
вообще емнип была книжка какого то дедушки который "изобрел" программирование на персистентных данных
m
тип описал ~половину персистентных структур и показал что программирование только на них вполне жизнеспособно
AT
тип описал ~половину персистентных структур и показал что программирование только на них вполне жизнеспособно
Ну без хранения стейта где-нибудь ты вряд ли сможешь хоть что-то более менее вменяемое накодить.
DL
Ну без хранения стейта где-нибудь ты вряд ли сможешь хоть что-то более менее вменяемое накодить.
МОНАДКИ
m
Ну без хранения стейта где-нибудь ты вряд ли сможешь хоть что-то более менее вменяемое накодить.
(s, f) -> f -> (s, f) goes brrrr
m
МОНАДКИ
сюк, опередил
m
(s, f) -> f -> (s, f) goes brrrr
я ксти так пишут спа на голом жсе когда нужно, хайли рекомменд
AT
Переслано от Andrew Tropin
#week9 #book10
Чисто функциональные структуры данных (Крис Окасаки):
Начинается всё мило и безобидно: списочки, ленивые вычисления, наивная персистентность. Плавно чтение усложняется немного непривычным синтаксисом Standard ML, но довольно быстро проникаешься его базовыми концепциями и он уже кажется таким милым и уютным. Пока ты разбирался с синтаксисом, впечатлялся элегантностью реализации красно-черных деревьев и скучал от некоторых банальностей, книга из лёгкого введения в специфику функционального мира превращается в сверхконцетрированную научную работу из которой и стакана воды не выжать, с изобилием ссылок на всевозможные статьи, доказательствами и "простенькими" упражнениями.
Комментарии:
При объёме книги чуть больше 200 страниц и возрасте около 20 лет прочитать и понять её за неделю практически невозможно, плотность информации выше, чем у изотопа Осмия, а стиль изложения я бы описал как харизматичный добротный учебник матана с картинками в виде сниппетов кода на SML. Одним словом - круто, обязательно перечитаю с б0льшим бюджетом времени, вниманием к деталям и количеством практики.
Ссылки:
https://www.ozon.ru/context/detail/id/135933824/
https://www.amazon.com/Purely-Functional-Structures-Chris-Okasaki/dp/0521663504
#bookduel @andrewtropin
Чисто функциональные структуры данных (Крис Окасаки):
Начинается всё мило и безобидно: списочки, ленивые вычисления, наивная персистентность. Плавно чтение усложняется немного непривычным синтаксисом Standard ML, но довольно быстро проникаешься его базовыми концепциями и он уже кажется таким милым и уютным. Пока ты разбирался с синтаксисом, впечатлялся элегантностью реализации красно-черных деревьев и скучал от некоторых банальностей, книга из лёгкого введения в специфику функционального мира превращается в сверхконцетрированную научную работу из которой и стакана воды не выжать, с изобилием ссылок на всевозможные статьи, доказательствами и "простенькими" упражнениями.
Комментарии:
При объёме книги чуть больше 200 страниц и возрасте около 20 лет прочитать и понять её за неделю практически невозможно, плотность информации выше, чем у изотопа Осмия, а стиль изложения я бы описал как харизматичный добротный учебник матана с картинками в виде сниппетов кода на SML. Одним словом - круто, обязательно перечитаю с б0льшим бюджетом времени, вниманием к деталям и количеством практики.
Ссылки:
https://www.ozon.ru/context/detail/id/135933824/
https://www.amazon.com/Purely-Functional-Structures-Chris-Okasaki/dp/0521663504
#bookduel @andrewtropin
m
Переслано от Andrew Tropin
#week9 #book10
Чисто функциональные структуры данных (Крис Окасаки):
Начинается всё мило и безобидно: списочки, ленивые вычисления, наивная персистентность. Плавно чтение усложняется немного непривычным синтаксисом Standard ML, но довольно быстро проникаешься его базовыми концепциями и он уже кажется таким милым и уютным. Пока ты разбирался с синтаксисом, впечатлялся элегантностью реализации красно-черных деревьев и скучал от некоторых банальностей, книга из лёгкого введения в специфику функционального мира превращается в сверхконцетрированную научную работу из которой и стакана воды не выжать, с изобилием ссылок на всевозможные статьи, доказательствами и "простенькими" упражнениями.
Комментарии:
При объёме книги чуть больше 200 страниц и возрасте около 20 лет прочитать и понять её за неделю практически невозможно, плотность информации выше, чем у изотопа Осмия, а стиль изложения я бы описал как харизматичный добротный учебник матана с картинками в виде сниппетов кода на SML. Одним словом - круто, обязательно перечитаю с б0льшим бюджетом времени, вниманием к деталям и количеством практики.
Ссылки:
https://www.ozon.ru/context/detail/id/135933824/
https://www.amazon.com/Purely-Functional-Structures-Chris-Okasaki/dp/0521663504
#bookduel @andrewtropin
Чисто функциональные структуры данных (Крис Окасаки):
Начинается всё мило и безобидно: списочки, ленивые вычисления, наивная персистентность. Плавно чтение усложняется немного непривычным синтаксисом Standard ML, но довольно быстро проникаешься его базовыми концепциями и он уже кажется таким милым и уютным. Пока ты разбирался с синтаксисом, впечатлялся элегантностью реализации красно-черных деревьев и скучал от некоторых банальностей, книга из лёгкого введения в специфику функционального мира превращается в сверхконцетрированную научную работу из которой и стакана воды не выжать, с изобилием ссылок на всевозможные статьи, доказательствами и "простенькими" упражнениями.
Комментарии:
При объёме книги чуть больше 200 страниц и возрасте около 20 лет прочитать и понять её за неделю практически невозможно, плотность информации выше, чем у изотопа Осмия, а стиль изложения я бы описал как харизматичный добротный учебник матана с картинками в виде сниппетов кода на SML. Одним словом - круто, обязательно перечитаю с б0льшим бюджетом времени, вниманием к деталям и количеством практики.
Ссылки:
https://www.ozon.ru/context/detail/id/135933824/
https://www.amazon.com/Purely-Functional-Structures-Chris-Okasaki/dp/0521663504
#bookduel @andrewtropin
точно, он
m
т.е.
(def b (f a))
(persistent! a)
(assoc! b 0 0) <- ошибка
(def b (f a))
(persistent! a)
(assoc! b 0 0) <- ошибка
в общем резюмируя, слой там с 99% вероятностью один, шарится между всеми биндами и он лишается своей мутабельности по первому персисту
m
тогда действительно О(1)
DL
в общем резюмируя, слой там с 99% вероятностью один, шарится между всеми биндами и он лишается своей мутабельности по первому персисту
как-то так
m
как-то так
тогда замечательно, можно влегкую переносить многие алгоритмы 1:1 и писать эффективный код
DL
но использовать это надо в очень сильно ограниченном скоупе в либах когда рили надо