Алсо, если у кого возникли вопросы, почему в канале стало меньше контента как по ФП, так и в целом — админ лечит жестокую депру, жрет колёса горстями и пытается просто как-то функционировать, так что если нужен хороший ФП- и PL-контент, то подпишитесь на PONV Daily и Lil Functor, у них преступно мало подписчиков.

Прекрасная статья в журнале Quanta о том, что пингвины кучкуютя по законам организованного хаоса, с не менее прекрасной цитатой оттуда:
— “We tried to think of a better way [penguins could huddle], but it always involved an omniscient being who would tell them where to go,” Blanchette said.
Пингвинье божество, указывающий им, как лучше сбиваться в кучу. Мозг начинает рисовать много разных картин.
https://www.quantamagazine.org/math-of-the-penguins-20200817

На канале HoTT-Lectures абсолютно внезапно через 5 лет после последнего ролика появилась серия лекций по HoTT. Начало здесь.

#фп_на_ts
Написал еще одну статью про паттерн тайпкласса: https://habr.com/ru/post/534998

Спасибо, Яндекс, в жопу такие подарки

Izumi круто. Чтобы и дальше так было, можно купить парням чашечку кофе: https://www.buymeacoffee.com/7mind

С наступающим, котаны и котанессы. Спасибо, что читаете и остаетесь со мной, спасибо, что пишете в личку и в бота — это важно и помогает мне держаться на плаву. 2020 был ппц какой адский лично для меня, и я рад, что он формально заканчивается. Только под конец года я начал приходить в себя, и задумался о смене стека с задолбавшего TS на что-то более интересное. Может, через какое-то время снова найдутся силы пилить обучающий контент :)
Здоровья всем нам, психического и физического — это самое важное. Увидимся в 2021-ом ;)

Период кринжовых шуток «ты этот пулл-реквест с прошлого года ревьювишь» объявляется открытым.

Олег Киселёв рассказывает про прошедший семинар, посвященный "Programming and Reasoning with Algebraic Effects and Effect Handlers"

http://okmij.org/ftp/Computation/index.html#Shonan-handlers

Здесь можно посмотреть слайды докладов: https://effect-handlers.org/events/shonan146.html

Смыкается, сопрягается гусеница ИБ-шная. Тихонько подвываю, по правде говоря.

https://www.pls-lab.org — вики теории языков программирования, отчасти похожая по стилю на nLab

Sam Halliday интересно рассказал о потенциальных уязвимостях в библиотеках для парсинга JSON. А ещё о том, как боролся с ними в своей библиотеке

Красивая фраза в описании доклада: «Scala has more JSON libraries than Go has language features!»

https://youtu.be/3Cz6D8JLSSA

https://youtube.com/watch?v=kLZr87CGY-U 🍿

Библиотека, о которой ведется речь: https://laminar.dev

В следующий четверг, 4 февраля, Дэвид Спивак будет рассказывать про практические аспекты категории полиномиальных функторов одной переменной Poly:
https://topos.site/seminars

Во-первых, это просто хорошая визуализация данных.
Во-вторых, это очень неплохо взгляд с высоты птичьего полёта на математику в целом.
https://www.quantamagazine.org/the-map-of-mathematics-20200213

https://silenthill.com ААААААААААААААА
(простите)

#scala #tf

Опубликовали лекцию с рассказом и кодом о тэглесс файнал. Она адресована прежде всего тем кто не знает, что это такое, или изучавшим по твиттам Де Гуза, Трампа и роскомнадзора. Но полезна может быть всем.

Если вам интересна эта тема, хотите видеть продолжения, готовы поддержать лектора и его команду:
* Подписывайтесь на ютуп канал.
* Ставьте колокольчик.
* Задавайте вопросы в комментариях ютупа, в этом чате, в тофу чате.
* Пишите код на работе и в личных проектах, помогайте кодом и документацией чужим опен сорсам.

https://www.youtube.com/watch?v=ZNK57IXgr3M

Что-то из феррофлюидов, похоже:
https://github.com/nilehmann/liquid-rust