Scala Type Classes

Что-то поперло про type classes, просто поперло.

Только на днях я упоминал зачетные слайды https://speakerdeck.com/raulraja/typeclasses-tour

Не прошло и недели, как мне попадается изумительный материал про тайп классы

http://danielwestheide.com/blog/2013/02/06/the-neophytes-guide-to-scala-part-12-type-classes.html

Настолько все доступно изложено, что даже я всё понял.

И применил на практике:

https://gist.github.com/vasnake/e7957b16ca0ee4eaa815e3639751be7c

Идея очень проста и отвечает на запрос: как нам облегчить ad-hoc polymorphism в системах со строгой типизацией? Нужно абстрагировать некий алгоритм, повысить степень DRY.

Ну как, делаем интерфейс, реализуем алгоритм в терминах этого интерфейса. Реализацию интерфейса подмешиваем в нужный класс – опля, этот класс можно пихать в упомянутый алгоритм.

Проверка типов в Scala делается через implicit переменные.

Повторюсь: как же люди без дактайпинга мучаются. Зато всё под контролем.

original post http://vasnake.blogspot.com/2016/07/scala-type-classes.html