Всё еще лучший сценарий, чем «Бэтмен против Супермена».

Либа от Дмитро Митина (автора известного курса по завтипам) для макрогенерации различных хэлперов для тайпклассов: 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