169 похожих чатов

Можешь привести пример. Очень интересно. Не слишком ли это overkill

для тестов?

5 ответов

6 просмотров

Предположим ты имеешь такой сервис, сделанный, конечно же с помощью наиболее продвинутой либы https://github.com/aecor/liberator @free trait Service[F[ ]]{ def foo(): F[Foo] def bar(x: F[Foo]): F[Bar] }

У тебя есть продакшновый интепретатор для какой-нибудь Future или там Task Возможно даже его реализация выглядит как-то так implicit def serviceImpl[F[ ]: Req1 : Req2] = new Service[F]{ ... }

Здесь Req1, Req2 - сервисы, от которых зависит твоя имплементация. Теперь ты хочешь проверить, вызываются ли и в каком количестве методы Req1, Req2 в данной реализации. Вместо всяких грязных мокито, реализующих грязные прокси, ты делаешь монадку Writer[Map[String, Int], ?] Monoid[Map[String, Int]] на дефолтных инстансах будет работать как счётчик. После чего делаешь интепретаторы для Req1, Req2 ..., которые дописывают в этот счётчик вызов соответствующего метода и возвращают какие-то моковые данные. Используешь свою реализацию для этой монадки, и она моментально показывает тебе и результат и количество вызовов каждого метода на выходе

Вот такая задача получилась даже без фриманаток, на чистом finally tagless. Однако если ты вместо врайтера воспользуешься фриманатками для всех сервисов( а они тоже генерятся либератором из коробки) , в качестве результата ты фактически получишь план исполнения, который сможешь очень-очень подробно проверить вручную, если тебе нужно

Если этот рассказ тебя заинтриговал, могу попробовать раскатать это на хабре подробнее с кусками кода. Если нет - то нет

Похожие вопросы

Обсуждают сегодня

Типа вызывать GetParent и проверять на соответствие GetModuleHandle?
The Bird of Hermes
67
Do any of you guys have interesting projects one could join? I'm a Middle Full-Stack developer (JS/TS, React & Node)
Lev Shapiro
40
$res = json_decode($наша строка из респонса); $res1 = array_map(fn($o) => $o->name, $res->breadcrumbs[0]->entities); Как такое будет на Хаскеле?.. В начале весь джейсон, в ко...
Хаскель Моисеевич Гопник
27
В чем сила брат, в NASM или FASM?
Isaac Kleiner
18
Вопрос по диагностике ошибок (я знаю в чем, в данном конкретном примере, я знаю, как исправить, пример модельный, понятно, что в реальности бывает намного запутаннее). module...
ⰄⰎⰋⰐⰐⰑⰛⰤⰧⰧⰩⰄ ⰊⰑⰁⰓⰡⰛⰦⰕⰫ
11
Хтось використовував Vapor на Windows?
Jaroshevskii
15
А чем вам питонисты не угодили?😂
.
79
Есть какой-нибудь для Delphi/FPC T*Compression(Decompression)Stream на базе LZ4/Zstd/любой другой быстрый(и хорошо сжимающий) алгоритм А ещё лучше в pure pascal А ещё лучше од...
notme
52
Тут кста кто-нибудь NeoVim использует?
Simple Sorcerer
13
Оба варианта в целом подходят, но скорее создание конфликтной ситуации (на пустой основе). В прошлый раз он сказал мне про ESP32, я забыл про этот микроконтроллер, ошибся, я п...
КТ315
4
Карта сайта