Современное ФП с Tagless Final

Комментарий Программного комитета:

Жесткий Scala-доклад — кишки и сложные подходы! Зайдет всем скалистам!

Уже не первый год в ФП-сообществе набирает популярность новый способ композиции приложений, пришедший на замену Free Monads. Он позволяет определить точное описание работы компонент без накладных расходов и является отличной реализацией Dependency Inversion Principle.

В Scala этот подход удивительно хорошо вписывается в синтаксис языка.

Рассмотрим историю, формальную, техническую и практическую стороны применения этого подхода на примере Scala.