jokerconf Joker 2018 (19.10.2018)

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

img

В ФП-сообществе набирает популярность новый способ композиции приложений, который позволяет определить точное описание работы компонент без накладных расходов и является отличной реализацией Dependency Inversion Principle. Рассмотрим историю, формальную, техническую и практическую стороны применения этого подхода на примере Scala.

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

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

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

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

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