Длинный блогпост с подробным объяснением тайп констрейнтов в скале. От паттернов использования до собственной реализации.
Как работают эти магические <:<
, =:=
, и почему недостаточно обычных тайп баундов. Для меня при изучении скалы это долгое время был один из самых непонятных вопросов.
https://blog.bruchez.name/posts/generalized-type-constraints-in-scala/
>>Click here to continue<<