λƒ
Челы, есть клиент для s3 дружащий с мониксом и котоэффектами?
Если что асихронная версия амазоновского клиента умеет в ReactiveStreams. У fs2 есть интероп.
Size: a a a
2019 December 31
Oℕ
Ребят такой тупой вопрос, есть вот у нас IO монада из cats.effect, как мне проверить на ней к примеру left identity law?
Это невозможно
Oℕ
Если только ваша ИО монада не строгий замкнутый тип, и в вашем языке функция тоже замкнутый тип, т.е. вы можете "проверить" функции на равенство
Oℕ
В лучшем случае вы можете проверить отдельные безэффектные запуски на evetual совпадение, как предложил Паша.
Но в общем, можете только символически доказать равенство в некотором смысле
Но в общем, можете только символически доказать равенство в некотором смысле
EP
Это невозможно
Спасибо! Это то что я и хотел услышать, а не пытаться найти "магический" способ.
AS
интересно, почему он это в дуби не добавил
https://www.youtube.com/watch?v=NJrgj1vQeAI
TLDR - потому что это петпроджект чувака, который решил с нуля пописать либку и "на этот раз сделать все правильно", а у дуби уже и легаси и адоптеры есть
TLDR - потому что это петпроджект чувака, который решил с нуля пописать либку и "на этот раз сделать все правильно", а у дуби уже и легаси и адоптеры есть
NV
Если что асихронная версия амазоновского клиента умеет в ReactiveStreams. У fs2 есть интероп.
А там тоже вся апишка в стримах, или нестримовые вещи типа GetMetadata сделаны нормально?
λƒ
А там тоже вся апишка в стримах, или нестримовые вещи типа GetMetadata сделаны нормально?
Не помню, но скорее всего CompletableFuture
NV
Сойдет, спасибо
λƒ
Если использовать моникс, то CompletableFuture и ReactiveStreams поддерживаются.
ВС
С новым годом!
.
Я уж подумал, что это акк джей ли)
λ
+
AG
я думаю что ты не ошибся
AT
Постой, сча из берлоги вылезет
AT
Помадчин главный вахтёр
GP
всем не угодишь; пусть тот кто кашу заварил ее и расхлебывает
GP
извини, но за спум даж я баню(
.
С новым счастьем!