Только что узнал, что не стало моего друга Гриши, с которым мы делали видеоподкаст «ФП для чайника». Уже не доделаем.

Говорят, что для продуктивной работы знать теорию категорий и теорию типов не нужно, а порой даже вредно — причем даже если пишете на хаскеле, где половина стандартной библиотеки щеголяет терминами из теорката. Клепать опердени, перекладывая джейсоны из кафки в постгрю, можно без малейшего понимания, чем является левое сопряжение к забывающему функтору.

Но при этом знание таких вещей радикальным образом расширяет не только кругозор, но и позволяет придумывать новые очень крутые вещи. Например, есть такая конструкция как селективный (выбирающий?) функтор (selective functor) — «подумаешь, еще одна абстрактная хрень, кому она нужна», всё такое. Но, взяв эти функторы за основу, была написана очень изящная библиотека Parsley, о которой ее автор рассказывал на недавнем MuniHac. Или знание о симметричных моноидальных категориях позволило Олегу Нижникову сделать библиотеку Volga, которая позволяет упростить построение и оптимизацию вычислений в распределенных системах.

С другой стороны — в самом начале теоркат и правда больше вреден, чем полезен. Есть большой соблазн начать сыпать терминологией и концепциями без соотнесения их с реальностью, контекстом и вычислительными ограничениями. Я считаю, что не знаю теорию категорий хоть сколь-нибудь вменяемо, поэтому очень аккуратно стараюсь притягивать рассуждения из нее в обыденное программирование, но даже те знания, что есть, помогают в голове выстраивать более цельную картину и видеть новые связи.

Значит ли это, что всем поголовно надо начать заниматься математикой? Да ни в коем случае. У каждого свой путь и свои подходы, которые заставляют понимание «щелкнуть». Но я надеюсь, что примеры выше еще раз покажут, что насмехаться над «академиками в башнях из слоновой кости», по меньшей мере, неразумно.

В четверг Владислав Завьялов расскажет, как писать на хаскеле GUI-приложения:
https://serokell.io/blog/gui-programming-talk

Да.
(via)

Записи с TLA+ Community Event (https://conf.tlapl.us.home)
https://www.youtube.com/playlist?list=PLWLcqZLzY8u8EA8UlsZ5xKMvtUoeGr5R_

https://blog.cloudflare.com/cloudflare-worker-with-webassembly-and-haskell — неожиданный пост в блоге Cloudflare о Haskell и WebAssembly

Новый моноширинный шрифт JuliaMono, заточенный под программирование и содержащий больше 10к глифов Юникода: https://juliamono.netlify.app
Мой билд Iosevka все равно пока нравится больше, конечно, но JuliaMono выглядит очень приятно и уж явно не хуже JetBrains Mono.

Система эффектов in-other-words, целью которой является представление эффектов выших порядков и решение проблемы O(n²) инстансов:
https://github.com/KingoftheHomeless/in-other-words

Павел Дуров поделился 7 секретами вечной молодости:

1. Наличие однопараметрического типа Т
2. Наличие аппликативного функтора для типа Т
3. Наличие функции return
4. Наличие функций join или bind
5. Закон левой идентичности
6. Закон правой идентичности
7. Закон ассоциативности

Eto ya

🌊 🐱 🌊

Отличный материал для неспешного изучения на выходных 👇

https://github.com/prathyvsh/morphisms-of-computational-structures
Как минимум, любопытный список ссылок для дальнешего чтения. 😊

Туториал о том, как реализовать тайп-чекер для refinement types:
— препринт статьи на arXiv;
— репозиторий с кодом на Haskell и Reason.
(источник)

Dzień dobry

Уволился в пятницу из криптостартапа. 10 месяцев просиживал жопу на tensorflow, заебался пиздец. Сидел и думал, мне 21 год, а мои сверстники едут в рюмочную №5 в Камызяке. В принципе, датасайентистом работать хорошо, всегда работу найдешь, три года уже везде нахожу себе применение. Просто заебался, смотрю на других молодых, там всякая хуета классная, цеха, дуговая сварка-хуярка. Пиздец. Очень хочу стоять на заводе с умным ебалом и говорить слова «окалина» или «фистинг». Завидно. Зато я свободен душою и телом, и совесть моя чиста. Даже не знаю, чем хочу заняться на самом деле, ничего не понятно. Вот, хожу, гуляю, скушал фалафель. Говорят, помогает для печени. Всем счастья, здоровья и хорошей работы!