Вышел мой доклад:

"Type-level interfaces in Haskell & Rust: pragmatic type-level programming" (Functional Conf 2025)
Я также написал статью про эти интерфейсы в дополнение к докладу.


Видео:
https://youtu.be/vKAuSD0RnmY?si=-_L-5QtNVd86-BuZ
Слайды:
https://docs.google.com/presentation/d/1Pi_p_a8Wvbl1MXNl_VsDMxcsSYq8FUPghZk8seVOvcs/edit?usp=sharing
Статья:
https://github.com/graninas/type-level-interfaces-in-rust

А, да, и еще. Я зарелизил версию 1.1.0 книги Pragmatic Type-Level Design. В нее вошли последние исправления и улучшения, замеченные мной и другими с прошлого релиза.
По ссылке ниже можно приобрести PTLD с 33% скидкой.
https://leanpub.com/pragmatic-type-level-design/c/rust_promo_33