Тут скорость надо поставить на 1х и послушать внимательней

да, там немного неудачно со временем вышло

Так, тут надо цитировать

"В конце 2018 года его [Tagless Final] таки убили. Произошло массовое разочарование, и большое количество людей решили, что TF вообще совсем-совсем в реальном проде не нужен. Когда люди заглянули в реальные библиотеки, которые должны были им помочь работать с TF, оказалось, что самые-самые низкоуровневые, базовые абстракции, оказывается, благославляют написание грязного кода. Результат [такого кода] - это чистая функция, но вся идея Tagless Final моментально пропадает, потому что никакого ограничения ваших действий здесь не происходит. Пользоваться этими абстракциями для кода в стиле TF невозможно."
( @odomontois  )

В скале

Я думаю, это универсально

А что это за видео?

Доклад Олега на JPoint "Путь из ФП в ООП"

Далее Олег пиарит свой tofu, не буду смотреть

Да, тут речь про scala.
Примерно то же можно переформулировать на haskell в форме "если в вашей функции есть constraint MonadIO" никакого отношения к tagless final даже в процедурной интерпретации она не имеет

Ну только если не является частью интерпретатора, конечно

поэтому у меня без монадио

Мне кажется, это в принципе очевидно для хаскелистов

а вот у Саши, кстати, в HFM есть люк в ио

Но для скалистов почему-то не очень

Даже мне очевидно(

Есть, да.

Ключевое различие в том, что ты этот люк контролируешь

Можно написать MyMonadIO и будет то же самое

Живой пример. В бэкендной кодобазе Juspay, написанной на PureScript, товарищи накидали кода со скрытыми эффектами. Функция задекларирована чистой, а внутри она делает эффект. Такое возможно, например, при вызове JS-функции. Этот код нельзя было протестировать, он постоянно лез во внешний мир и делал какую-то дичь. Но когда понадобилось сделать его тестируемым (с помощью Automatic Whitebox Testing), мы все эти места нашли и перевели на "люк", - метод runIO, который оборачивает эффекты (назывался он, правда, doAff, но суть та же). Теперь уже мы в наших тестах могли замокать этот метод, и код становился тестируемым.