Все мы, как программисты пишущие на строго типизированных языках, таких как Scala и Java, любим их за эту типизированность, ведь типы весьма специфичны. Они позволяют нам проще судить о коде, позволяют избегать багов, и зачастую и ведут нас к решению той или иной задачи. Однако возникают ситуации, когда эта специфичность начинает играть против нас, и нам хочется использовать то общее, что есть в наших конкретных типах, для написания одного общего кода, во избежание его дублирования.
Это будет вводный рассказ о продвинутых фичах в Scala, таких как "implicits" и " type classes". Поговорим о том, что такое "Algebraic Data Types (ADT)", и чем они могут быть полезны. Рассмотрим понятия "Product" и "Coproduct". Научимся приводить конкретные типы к "Generic" представлению. Ну и наконец попробуем на реальном примере разобраться, как это можно использовать.

свернуть