Либа от Дмитро Митина (автора известного курса по завтипам) для макрогенерации различных хэлперов для тайпклассов: aux-паттерны, суммонеры, конструкторы, синтаксические расширения и др.
https://github.com/DmytroMitin/AUXify

#музыкальная_пауза
Трек одних из моих любимейших прогрокеров, — Periphery, — сыгранный их басистом Адамом «Nolly» Гетгудом. Наверное, самый приятный тембр баса, который я слышал за долгое время.
https://www.youtube.com/watch?v=-w5qFCT6EZY

Нужна ещё аптечная сеть под названием «Магнит биполярный».

Вах!

Книга «Structure and Interpretation of Computer Programs» (SICP) в HTML/EPUB для чтения на мобильных устройствах:
https://github.com/sarabander/sicp
Она же, но в PDF, сгенерированном из LaTeX, — для эстетствующих господ:
https://github.com/sarabander/sicp-pdf

Психотерапевт: котокоровы не существует, она не может тебе навредить.
Я:
Котокорова:

Пока скачивал изображение, обратил внимание, что хром отображает alt-атрибут при скачивании. Важная штука для скринридеров, кстати. Приятно видеть, что люди не забывают о доступности.

<3

Открыточка <3

ААААААААААААААААА

JE SUIS JOHN 🅰️ DE GOES

Я/МЫ
JOHN
A. DE GOES

К слову, подобные драмы что в скала-сообществе, что в хаскель-сообществе отталкивают меня всё сильнее и сильнее от обоих.
Почему инженеры не могут просто писать код и делиться кодом с другими? Почему обязательно нужно ворошить грязное белье 2017 года? Почему то, что у тебя в штанах и какие gender pronouns ты предпочитаешь слышать, стало важнее, чем идеи, которые выражаются в коде?
Много вопросов, мало ответов.

Ладно, время возвращаться к программированию и инженерии.

Недавно открыл для себя просто потрясающую книгу по системному мышлению от Анатолия Левенчука: https://ridero.ru/books/sistemnoe_myshlenie/
Она же в виде курса на Курсере: https://ru.coursera.org/learn/system-thinking

По моему убеждению, инженер-программист (акцент на слове «инженер») просто обязан обладать рациональным, логичным, последовательным мышлением для того, чтобы моделировать окружающий мир и выражать эти модели и их взаимосвязи в своей работе. Вещи, о которых говорит Анатолий в своих трудах, как раз позволяют выработать навыки системного мышления. Эти навыки будут только усиливаться, если параллельно заниматься изучением теории типов и теории категорий. Их тоже можно рассматривать как инструменты моделирования реальности, а чем больше таких инструментов будет в вашем арсенале, тем точнее вы сможете доносить свои идеи.

P.S. Кстати, у Анатолия очень крутой блог в ЖЖ: https://ailev.livejournal.com, советую внести в закладки, как минимум.

Для обсуждения моделирования мира, онтологики и взаимосвязи всего этого с теорией типов и теорией категорий был создан чат «Типы в языках программирования, моделирования, представления знаний и жизни». Если вам интересны эти темы — присоединяйтесь: https://news.1rj.ru/str/typeslife

#музыкальная_пауза

Ходил вчера на концерт Beast In Black в клуб RED. Море удовльствия — вживую парни просто пышут энергией и позитивом, при этом играют и поют так же круто, как на студийных записях. Единственное, что смазало удовольствие от концерта — начало задержали на полтора (!) часа. Такое себе не позволяют даже более именитые коллективы.

Записал исполнение одной из моих любимых их песен — драйвовой «Crazy, Mad, Insane»: https://youtu.be/EEacwG6Q9uk

Опубликовал kleisli-ts 1.0.0: https://github.com/YBogomolov/kleisli-ts/releases/tag/1.0.0
Наконец-то завершил миграцию на fp-ts@2, в связи с чем поднял мажорную версию пакета.

19 сентября я буду выступать на JS-митапе, организованном агентством Spice IT. Буду говорить на тему программирования на уровне типов на TypeScript. Поговорим о том, для чего это может быть нужно как бизнесу, так и программисту; слегка затронем тему изоморфизма Карри-Ховарда-Ламбека и посмотрим, какие выразительные средства для тайплевела вообще есть в TS.

Приходите! 🙂

Ссылки на событие:
https://www.facebook.com/events/690840634767559/
https://spice-agency.timepad.ru/event/1058346