YS
всё это в итоге, очевидно, через ReaderT IO имплементится
Size: a a a
2020 May 25
LO
ну вот в итоге всё что нужно адово тестить где-то в IO, а в "бизнес логике" ничего и нет
YS
ну есть логика)
YS
я же могу там на ровном месте начать экспешены выкидывать
LO
proverit'Prava *> orpravitOtchet *> sosnoot'Zaloopoo
LO
и тесты повторяющие "бизнесс логику" 1 в 1
АГ
а что за бизнес логика такая у вас там? У меня вся логика - проверить что у пользователя есть права и он не дурак.
Да обычные crud, например
AV
Мой метод - черная дыра. Я явно сообщаю, что его использование нежелательно.
Но в отличие от, мой метод поддается контролю. Его даже замокать можно
Но в отличие от, мой метод поддается контролю. Его даже замокать можно
В чем разница с MonadIO?
LO
Да обычные crud, например
т.е. читаь и писать в БД это бизнесс логика
YS
и тесты повторяющие "бизнесс логику" 1 в 1
ну так делать не стоит, конечно
YS
подгонять тесты под логику
YS
я так и не делаю
LO
А других тестов то и не написать
АГ
То есть вам нужно прокидывать контекст, который требуется имплементациям тайпклассов? Мне кажется, в TF это тоже очень хорошо решено через ридер-монадку
Возможно. Нужно больше кейсов, нужно больше материалов по этой теме. Чтобы увидеть всевозможные подводные камни
YS
А других тестов то и не написать
ну почему же?
LO
ну напишешь для имплементации тест что оно не валится при запросах бд, схема совпадает.
YS
для БД отдельные тесты
LO
но в логике то что тестировать?
YS
логику) что у меня проходят те операции, которые должны проходить
YS
или не проходят