KS
Что "кроме cats"? Какие библиотеки нужны?
Size: a a a
2020 February 21
ΛO
из библиотек есть ещё Monix, он тоже де-факто стандарт?
ΛO
не из библиотек ещё интересно про подходы к использованию всего этого добра
IA
Tf, free monad?
KS
Monix - это реализация IO монады + стримы, предоставляет инстансы для cats-effect, так что имеет смысл использовать cats-effect, абстрагируясь по типу эффекта F, чтобы можно было использовать любую реализацию, предоставляющую инстансы - monix/IO из cats-effect/zio
KS
Ещё лучше - использовать тофу, который также предоставляет инстансы для Task/ZIO/IO
λ
Kirill Shelopugin
Ещё лучше - использовать тофу, который также предоставляет инстансы для Task/ZIO/IO
ай красава
KS
не из библиотек ещё интересно про подходы к использованию всего этого добра
Самый хот топик это tagless final сейчас, если говорить про подходы и структурирование программ
KS
Здесь однозначно tofu фаворит
DM
@kshelopugin а ты пробовал дистейдж?
KS
Хотел, но меня смутила поддержка
AT
Kirill Shelopugin
По настроению. Кому-то нравится писать f.whenA, кому-то нравится писать Applicative[F].whenA, я не могу ни того ни другого осуждать
Хреновый пример. Тут экстеншн метод не ленивый. Лучше всегда писать длинную версию. На всякий.
ΛO
Kirill Shelopugin
Самый хот топик это tagless final сейчас, если говорить про подходы и структурирование программ
Это когда эффекты объединяются в тайпкласы, на которых пишутся все функции?
KS
Хреновый пример. Тут экстеншн метод не ленивый. Лучше всегда писать длинную версию. На всякий.
Почему он хреновый? При использовании ленивых IO он ничем не будет отличаться
KS
Ну ок, будет отличаться на сам факт наличия вызова функции, которая создаёт вычисление
KS
Единственный профит от этого, который я до сих пор видел - использование в тестах фреймворков типо мокито, которые проверяют факт наличия либо отсутствие вызова метода, но это пример не из лучших
ΛO
ну прямо так сделать будет не очень хорошо. основная причина - вывод типов
у скалы почти никогда не получается вывести здесь тип
поэтому приходится писать x.pure[F]
в случае функции пришлось бы писать
pure[F, XType](x), т.к. частичной передачи нет
но можно воспользоваться паттерном для частичной передачи
у скалы почти никогда не получается вывести здесь тип
поэтому приходится писать x.pure[F]
в случае функции пришлось бы писать
pure[F, XType](x), т.к. частичной передачи нет
но можно воспользоваться паттерном для частичной передачи
Кстати, в 2.13 это не пофиксили?
AT
Kirill Shelopugin
Единственный профит от этого, который я до сих пор видел - использование в тестах фреймворков типо мокито, которые проверяют факт наличия либо отсутствие вызова метода, но это пример не из лучших
Не тебе меня судить, а прокурору
KS
Это когда эффекты объединяются в тайпкласы, на которых пишутся все функции?
Это когда программа описывается в терминах подъязыка, который описывается набором тайпклассов. В последнем выпуске скалалаза Олег очень здорово рассказал про это
KS
Не тебе меня судить, а прокурору
Так какие профиты ещё?