тогда сигнатуры будут меняться конечно

но немного похоже на преждевременную оптимизацию, ибо мы же "на всякий случай" оборачиваем - и тут вопрос - можно ли заранее вот так "универсально" обернуть все, но чтобы 1 раз и больше не требовалось расширять?

и наверное да, но тогда это максимально неконкретный контекст будет "сабсет интересующего состояния мира на момент Х", а это же и есть IO. и вот тут уже стало больно 🙂

Да просто везде прокидывать сразу Map ByteString ByteString и нормально

вот как надо троллить, да. но грустно

по моему, хаскелисты больше озабочены тем чтоб еще придумать чтоб сигнатуры ломались больше, когда чет меняется, чем тем как меньше

А какая там следующая "клевая штука" после завтипов?

но вот этот момент - сразу же знаешь, что этот флаг потом уйдет

По-моему ты преувеличиваешь кол-во строк, которые надо будет поменять из-за смены сигнатур 🤔

чтобы не летать в абстракциях 2 придуманых, но имо реальных примера
1) процент выкатки (и давайте забудем что есть куберы и балансировщики) - т.е. плавно наращиваем процент выкатки сетя что-то скажем в редис
2) а/б тест, который проводит аналитик и хочет в онлайне включать и выключать флоу для конкретных тенантов
не сильно надумано? - это все к тому, что читать хочется именно в рантайме, не рестартовать с 12 factor env

Линейные зависимые гомотопические

Если нужны глобальные мутабельные переменные, то надо делать глобальные мутабельные переменные, щито поделать
Можно ограничить интерфейс только на чтение релевантных переменных в отдельных кусках

Здравствуйте! Скажите, как дать определение ключу в persistent, чтобы он выдавал не Int64 а Int8? Я сейчас имею в виду Yesod persistent

а ведь это серьезнее чем показалось на первый взгляд, наверное стоит опроса?
1) есть прод на хаскеле, хочу чтобы сигнатуры были точными но хрупкими
2) есть прод на хаскеле, не хочу на каждый чих править много
3) умозрительно первое, но пока прода нет
4) умозрительно второе, но пока прода нет

"Щас бы сигнатуры ломать ежечасно, но прод стоит"

не понял вопроса или точнее посыла.. хрупкие - это что значит?

- Шариков, от чего от вас такой запах?
- А мы вчера сигнатуры ломали-ломали, ломали-ломали...

Если сигнатуры прям ломаются, то они недостаточно generic

из контекста выше - если надо добавить feature flag который IO в рантайме на несколько дней - нормально добавить IO по всему тракту где до этого были чистые fn, а потом удалить

it depends

например, в некоторых проектах не используется такой подход с Has классами типов (если я верно понимаю, то оттуда уже произрастают вариации в сторону mtl, фримонад, систем эффектов, ...), а вместо этого — Handle Pattern, в котором сервисы со своими контекстами явно передаются в качестве аргументов функций, и ничего, брат жив..