Хехе

Я тут думаю над броскими темами для доклада. Пока придумываются всякие пошлости:
"Мы все зависимые типы"
"Фринтаксис и фримантика"

Фуфлосинтаксис, фуфлосемантика

Выгорание динамических типов

Убей в себе динамическое государство

Полиморфизм и полигамия // извините

я б послушал!

"Функциональные интерфейсы: сравнение"

Я сейчас пишу 8ю главу своей книги, и там будет сравнение различных способов абстрагирования от деталей на уровне бизнес-логики. Причем это дополнительное деление слоя бизнес-логики на подслои, которое ортогонально делению всего приложения на слои с помощью фреймворка.

Думаю, будет неплохо про это сделать доклад тоже

Уже сейчас можно увидеть соответствующий код: клиентское приложение, выполненное поверх (фри-монадного) фреймворка Hydra, где бизнес-логика работает с интерфейсом внешней подсистемы (отправляет через этот интерфейс астероиды и метеориты на сервер). И есть уже примеры 4 интерфейсов:
- ReaderT
- Service Handle
- Free Monad
- GADT
Еще сегодня добавлю Final Tagless (mtl).

А имплементацией в данном случае является способ, которым мы отправляем метеоры/астероиды. Это может быть TCP или HTTP.

https://github.com/graninas/Hydra/tree/master/app/astro/Astro/Client

Полиамория в тренде, ты чего

Бизнес-логика при этом не знает, что там за канал связи, и не должна знать. Она принимает строку от пользователя через CLI, парсит ее и вызывает интерфейс репортера

"Бизнес логика VS бизнес философа"

Понятное дело, там происходит Dependency Injection.

Интересная тема

С Final Tagless ерунда получается какая-то. Интерфейсы курильщика

Даже не знаю что и сказать

Можно попросить набрасывать не в чате, а на докладе

А можно попросить разобраться с темой получше перед докладом?