IA
Да и скоуп меньше
Size: a a a
2020 February 21
ΛO
просто раз делать тайпклассы по аналогии из хаскеля, то почему бы не сделать и синтаксис по аналогии
ΛO
Kirill Shelopugin
Здорово же, сразу видно, какой тайпкласс используется
вы extention методами не пользуетесь?
Oℕ
ребят, вы куда-то далеко зашли. нет никакой вменяемой причины почему не сделать pure функцией
IA
вы extention методами не пользуетесь?
В скале другой вывод типов
IA
вы extention методами не пользуетесь?
Так что вывод такой же ожидаемый, как в хаскелле не везде сделать получится
Oℕ
просто раз делать тайпклассы по аналогии из хаскеля, то почему бы не сделать и синтаксис по аналогии
можешь прямо сейчас законтрибьютить в tofu.syntax.monadic.
там есть unit
там есть unit
λ
ребят, вы куда-то далеко зашли. нет никакой вменяемой причины почему не сделать pure функцией
да нет, просто есть syntax и он уже сделан
λ
ну и очевидно, что почти все люди читают слева направо
IA
Вы не поняли. Челик хочет без указания эффекта сделать pure
ΛO
мне просто кажется, что extention методы ещё и идею сильнее нагружают
ΛO
и совсем неочевидно, почему это читабельнее
ΛO
ну ладно, я вас понял
ΛO
тогда заодно другой вопрос
KS
вы extention методами не пользуетесь?
По настроению. Кому-то нравится писать f.whenA, кому-то нравится писать Applicative[F].whenA, я не могу ни того ни другого осуждать
ΛO
как вникнуться в функциональную экосистему скалы без устаревших тёрок между разными либами?
λ
и совсем неочевидно, почему это читабельнее
эт ж вкусовщина впринципе
KS
как вникнуться в функциональную экосистему скалы без устаревших тёрок между разными либами?
Использовать cats, никаких тёрок. scalaz мертво, cats де-факто стандарт
ΛO
а кроме cats?
Oℕ
да, почему бы не сделать
def pure[M[_]: Monad, A](a: A): M[A] = Monad[M].pure(a)ну прямо так сделать будет не очень хорошо. основная причина - вывод типов
у скалы почти никогда не получается вывести здесь тип
поэтому приходится писать x.pure[F]
в случае функции пришлось бы писать
pure[F, XType](x), т.к. частичной передачи нет
но можно воспользоваться паттерном для частичной передачи
у скалы почти никогда не получается вывести здесь тип
поэтому приходится писать x.pure[F]
в случае функции пришлось бы писать
pure[F, XType](x), т.к. частичной передачи нет
но можно воспользоваться паттерном для частичной передачи