AZ
ты ща про асинхронность, или про отсутствие блокировки?
я говорил, про юзкейс в тестах
Size: a a a
2020 February 06
AZ
в тестах ты реализуешь тот интерфейс который есть, а не делаешь новый
λ
ну а мог бы просто передать интерфейс/обьект с теми же методами другой
Или взять из глобального скоупа и никто ничего в сигнатуре не увидит
AZ
надо чтобы ктото таки показал этот трюк с заменой монады. все ио функции скипаются при этом или как? а если ответ от них нужен?
смысл эффектов в том, чтобы ты по сигнатуре видел что происходит
AZ
типа "ио - о, понятно"
AZ
или "ST - фу говно"
P
Или взять из глобального скоупа и никто ничего в сигнатуре не увидит
не сконструируется объект
λ
не сконструируется объект
почему не сконструируется?
SP
типа "ио - о, понятно"
так все с ио. там только какие то гении делают свой стек монад но ладно предположим таки не все и можно кусок кода изолировать
P
почему не сконструируется?
потому, что инъекция зависимостей, а не статические синглтоны
AZ
так все с ио. там только какие то гении делают свой стек монад но ладно предположим таки не все и можно кусок кода изолировать
нет, ИО у тебя не должно быть в логике вообще
λ
я могу написать
И дальше:
foo :: Int -> Int -> m IntИ дальше:
1. вызвать это с Par - получить параллельность
2. вызвать с Async - получить асинхронность
3. вызвать с Either - получить возможность обработать ошибку
4. вызвать с Id - выполнить операцию без эффектову такой функции могут быть только 3 реализации: foo = undefined, foo _ = undefined и foo _ _ = undefined
AZ
гением для этого быть не надо
SP
а можно монадический код продолжить исполнять не с начала?
AZ
у такой функции могут быть только 3 реализации: foo = undefined, foo _ = undefined и foo _ _ = undefined
там (Monad m) => в контексте выше, не придирайся
AZ
а можно монадический код продолжить исполнять не с начала?
s/монадический/
AZ
не понял вопроса
λ
так все с ио. там только какие то гении делают свой стек монад но ладно предположим таки не все и можно кусок кода изолировать
чистое IO во внутренней логике приложения используется примерно никогда
P
а можно монадический код продолжить исполнять не с начала?
у него внутри не обязательно есть та очерёдность, которую ты пишешь снаружи, для него сложно определить понятие "начало" и "не начало", как можно было бы сделать в императивном подходе.
λ
а можно монадический код продолжить исполнять не с начала?
уточни, что ты имеешь ввиду