Канал #scala приносит прекрасное каждый день: List[A forSome { type A <: Pet[A] }] (from https://tpolecat.github.io/2015/04/29/f-bounds.html)
Бгггг, коллега спросил про тайпклассы — я прислал ему эту, с позволения сказать, ссылку. ‎· just cannot be did
И внезапно вот этот коммит пригодился: https://github.com/KamchatkaLtd/okasaki/commit/434de67cf5c371... ‎· just cannot be did
Потрясающе, кстати, насколько самый популярный туториал по тайпклассам misses the point. Впрочем, зато он разбирает сам процесс написания достаточно подробно. ‎· just cannot be did