Отличные новости! Fira Code от @nikitonsky была смерджена в Google Fonts:
https://twitter.com/nikitonsky/status/1151142882243502086
Пруф:
https://github.com/google/fonts/commit/ad9904f584f463352e8fbf1d3b7baf10cc2ae6a0
Поздравляю Никиту и всё сообщество, которое в этом участвовало! 🎉

Открытка @datstuff <3

Доклад Эдвина Брэйди о Idris 2. Часть с QTT напомнила мне про Rust и его lifetime’ы.
https://www.youtube.com/watch?v=DRq2NgeFcO0

Отличное дополнение к 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