Final Tagless vs Free Monad. Александр Гранин

Final Tagless и Free monad - два конкурирующих подхода в ФП, которые призваны решать схожие задачи. С их помощью можно разделить систему на компоненты, чтобы контролировать ее сложность. И в Final Tagless, и в Free Monad вы описываете интерфейсы к подсистемам, а затем разрабатываете на них бизнес-логику в виде монадических скриптов. При этом имплементацию подсистем можно подменять в рантайме, а при необходимости, заменять моками. Final Tagless и Free Monad - это чисто функциональные подходы к Inversion of Control, но основаны они на разных принципах. В Final Tagless интерфейсы подсистем - это классы типов, а в Free Monad - это первоклассные алгебраические eDSL. В сообществе функциональщиков (как Scala, так и Haskell) не утихают споры, какой из подходов лучше или правильнее. На примере реального приложения попробуем разобраться, когда лучше тот или другой, и как они могут быть использованы для более качественного дизайна приложений в функциональном стиле.