AT
но я уж не помню
Size: a a a
2021 April 14
AG
у харпера было в контексте деструктурирования
AT
Клёвая инициатива: Distill для PLT
https://blog.sigplan.org/2021/04/13/making-pl-ideas-accessible-an-open-source-open-access-interactive-journal/
https://blog.sigplan.org/2021/04/13/making-pl-ideas-accessible-an-open-source-open-access-interactive-journal/
AG
типа проверить и потом руками разобрать дороже чем сразу деструктурировать
AT
нужна статья “Как прозреть после прочтения поста о булевой слепоте”
AG
пусть hazel берут :)
AT
не хватит им покрыть всю ТЯП :)
AG
такс, я почти разобрался в имплементации харрис-фрейзеровского мкаса на окамеле
AG
очень интересно конечно как выглядит игровая семантика для лямбды с касом
AG
уже для обычных параллельных гетов/сетов нужна дифференциальная лл
AG
о, нашел папиру где их выражают через автомат Зелёнки
SK
кто такой Зелёнка
SK
спасибо, принял
AG
имеется в виду http://archive.numdam.org/article/ITA_1987__21_2_99_0.pdf Zielonka, [1987] "Notes on finite asynchronous automata"
ΛВ
Автологгингмид ему ещё покажи
Oℕ
Oℕ
Наконец-то мы узнали, куда уходит @kshelopugin