Сегодня с 13:00 и завтра с 11:00 будет проходить MuniHac! Программа очень интересная — будут как обычные доклады на темы от логирования до прикладного теорката, так и воркшопы по Miso, Liquid Haskell и много чему еще. Всё это счастье будет стримиться на ютьюб, но если кто-то захочет пообщаться с докладчиками и участниками, то для этого есть канал в Slack.

Сегодня в 20:00 будет сразу 2 доклада, которые вызывают особенный интерес:

1. Ричард Эйзенберг будет рассказывать о частичных конструкторах: https://www.youtube.com/watch?v=rqmCwpRXT_E
This talk will explore the possibility of explicitly partial type constructors, where we can declare loudly that types like Set work only with some type arguments, but not others. The design proposed improves error messages, simplifies type signatures, and allows instances like Functor over Sets.

2. Джейми Уиллис будет рассказывать о библиотеке для парсерных комбинаторов Parsley, основанной на селективных функторах — разработке Андрея Мохова со товарищи: https://www.youtube.com/watch?v=Zhu-cPY1eac
Selective functors give a ray of hope to the combinator world by generating a purely static structure eligable for analysis and staging, yielding high-performance parsers. This talk will focus on how working with Parsley is different to working with a normal monadic parser combinator library as well as touching on what makes it tick.

Весь плейлист MuniHac 2020 доступен здесь:
https://www.youtube.com/playlist?list=PLxxF72uPfQVTfDksvV4KPV5CxKnf0d_X3

Eto ya

(via https://twitter.com/SH00TER__/status/1304965904896200704)

Hey bro, nice coq

via https://twitter.com/notxcain/status/1306227410740936704

Впрочем, ничего нового

#музыкальная_пауза
Всем доброго утра, хорошего дня и замечательного настроения! 🖤
https://www.youtube.com/watch?v=p5F15p-WNv4

Вряд ли на меня подписаны даже wannabe хаскелисты, но, возможно, кому-нибудь будет интересно: сегодня в 20.00 по мск будет вебинар про рантайм Хаскеля. Обещают внутрянку и GC. Оставлю тут ссылку на оригинальный твит
https://twitter.com/serokell/status/1306537892186132480?s=19

Подвываю! (via)

Доклад был очень крутой и подробный (хотя Максим и утверждал, что он начального уровня) — разбирались этапы генерации STG и Cmm из пайплайна компиляции хаскеля. Жду запись, а пока ссылки на посты по данной теме из презентации:
— http://takenobu-hs.github.io/downloads/haskell_ghc_illustrated.pdf
— https://www.well-typed.com/blog/2014/05/understanding-the-stack/
— http://www.well-typed.com/blog/95/
— http://www.scs.stanford.edu/14sp-cs240h/slides/ghc-rts.pdf
— http://blog.ezyang.com/2011/04/tracing-the-compilation-of-hello-factorial/
— https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/generated-code
— https://gitlab.haskell.org/ghc/ghc/wikis/commentary/rts/storage/gc/remembered-sets
— https://github.com/well-typed/ghc-events-analyze

То ли контент для @ebanatics, то ли что-то, что можно направить в полезное русло… В любом случае, релиз TypeScript 4.1 обещает быть интересным 🤔
https://twitter.com/buildsghost/status/1301976526603206657

Выложили запись доклада: https://www.youtube.com/watch?v=vvLDerKtUWE
Очень рекомендую!

Бабка, неси пиявок, дед опять бушует!
https://twitter.com/unclebobmartin/status/1306963496026988545

Может хватит бухтеть и дестабилизировать ситуацию в хаскеле? Есть инфа от знающего человека, что у нас в хаскеле скоро ожидаются реальные изменения. После того, как Гранин напишет книгу, уничтожат таглесс файнл. Тогда везде и сформулируют боринг хаскель манифест. Скорость компиляции поднимут и будут держать, дженерики ничего не смогут сделать. Сейчас главное не бухтеть. А теперь самое главное! От нас требуется сидеть тихо. После того, как все сделают, все будет у нас хорошо. Всем устроят рекорды через точечку, как явистам - каждый будет кататься в иде. Главное сейчас сидеть тихо и не суетиться. Никаких линз, никаких кметтов. Просто переждать и всё будет хорошо, там все схвачено....

Как измерить скорость света в домашних условиях, имея под рукой только шоколадку и микроволновку: https://twitter.com/CentrlPotential/status/1307760753265512448

Видимо, Яндекс не смог договориться с Олегом Нижниковым о тренингах для своих скалистов, поэтому просто купил Тинькофф 🤔
https://www.kommersant.ru/doc/4501811

ААААААААААААААА!
(via)

This picture is brought to you by Lithium Carbonate

Не смог пройти мимо такой красоты

[×] Ваше регулярное напоминание, что Профунктор Оптикс пидары