Отличное дополнение к Typeclassopedia:
https://github.com/thma/LtuPatternFactory

Провожу ревью, натыкаюсь на такой набор фейков в тесте.
Гендер на сегодня: байдарка, несущая страсть <3

Взаимопроникающие концепции [×]

Old, but gold: книга «Seven sketches in Compositionality»:
https://arxiv.org/pdf/1803.05316.pdf
Нужно небольшое понимание теорката и топологии, но оно того стоит. Один из немногих трудов, который детально разбирает прикладную ценность теории категорий.

Как. Перестать. Орать:
https://twitter.com/HIDEO_KOJIMA_EN/status/1154638686144753664

— Omae wa mou shindeiru

По просьбам коллег начал новый небольшой проект: code kata для функционального TypeScript.

Сейчас готовы два упражнения: на написание базовых экземпляров тайпклассов, и на синтаксис HKT. Как водится, у коллег с английским беда, поэтому объяснения к упражнениям пришлось написать на русском. Если кто хочет присоединиться, милости прошу.
Процесс: форк, выполнение ката, pull request, ревью и закрытие PR.

Репозиторий доступен здесь: https://github.com/YBogomolov/fp-ts-kata

Такое вот —
Church encoding of linear types
http://oleg.fi/gists/posts/2019-06-26-linear-church-encodings.html
#link

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

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

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

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