P
но не уверен что стринга в рандомном формате это хороший вариант
вроде есть стандарт для стрингов с таймзоной
Size: a a a
2020 February 06
AZ
можно отменять эффекты, например вызвать функцию print а потом выкинуть результат, вместе с самим фактом что мы что-то принтили. Назад во времени это так не работает
λ
начал смотреть перед сном fp to the max . ничерта не понял зачем он в монаду оборачивает все
Ссылочная прозрачность, локал ризонинг
SP
например ты можешь вместо IO передать айди монаду, и тестировать сетевое взаимодействие без моков
ну а мог бы просто передать интерфейс/обьект с теми же методами другой
AZ
ну а мог бы просто передать интерфейс/обьект с теми же методами другой
э нет, так не работает
AZ
например ты не можешь у одного интерфейса сделать два наследника, один из которых синхронный а другой - нет
AZ
в ООП ты сделаешь асинхронный который типа шире, а в синхронном варианте будешь писать везде Task.FromResult или подобное в другом япе
AZ
точнее тут не оопэшность сама по себе, а отсутствие хкт в распространенных языках, но проблема по факту есть
AZ
а еще монады удобно делать потому что потом это все можно в комбинаторы заворачивать
AZ
mapM/filterM как самые полезные
P
в ООП ты сделаешь асинхронный который типа шире, а в синхронном варианте будешь писать везде Task.FromResult или подобное в другом япе
или сделаешь две иерархии -- синхронную и асинхронную
AZ
если ты вспомнишь мою статью про хаскель вс го, я там взял либу которая юзает аппликатив + траверсабл
AZ
если у тебя нет их я взыке, то и либы не будет
P
не обязательно иерархии, но апи будут разными, скорее всего
AZ
или сделаешь две иерархии -- синхронную и асинхронную
тебе не надо две иерархии, тебе надо в один метод передать ту или иную реализацию
P
тебе не надо две иерархии, тебе надо в один метод передать ту или иную реализацию
ты ща про асинхронность, или про отсутствие блокировки?
AZ
не обязательно иерархии, но апи будут разными, скорее всего
я могу написать
И дальше:
foo :: Int -> Int -> m IntИ дальше:
1. вызвать это с Par - получить параллельность
2. вызвать с Async - получить асинхронность
3. вызвать с Either - получить возможность обработать ошибку
4. вызвать с Id - выполнить операцию без эффектовAZ
+ любые комбинации, например асинк с ошибкой
P
я могу написать
И дальше:
foo :: Int -> Int -> m IntИ дальше:
1. вызвать это с Par - получить параллельность
2. вызвать с Async - получить асинхронность
3. вызвать с Either - получить возможность обработать ошибку
4. вызвать с Id - выполнить операцию без эффектовты говорил про оопшный язык
SP
надо чтобы ктото таки показал этот трюк с заменой монады. все ио функции скипаются при этом или как? а если ответ от них нужен?