λ
mapN синтаксис, я может начну использовать хахаSize: a a a
2020 August 07
a
если добавят
a
не в котах же баги исправлять
a
там слушать не будут, а тут новый проект, версия 0.0.0 считай
a
а на работе я все равно ограничился только
mapN и NonEmptyList из котовS
сложно спорить на тему "сыро" о либе, у которой все *.md файлы состоят из TODO =)
S
а на работе я все равно ограничился только
mapN и NonEmptyList из котова как же ValidationNel? Отличная штука для сбора ошибок.
S
*ValidatedNel
постоянно со scalaz путаю
постоянно со scalaz путаю
a
/** Standard combinator "traverse" ({{{ G[A] => (A => F[B]) => F[G[B]] }}})
* specialized to [[scala.collection.immutable.List]] and `Validate` monoid.
*/
def validate[E, A, B](it: immutable.Iterable[A])(f: A => Either[E, B]): Either[NonEmptyList[E], List[B]]a
validate(ctx.parameters.toList) { param => ... }a
вполне меня устраивает
a
возможно у меня просто мало не-автоматической валидации
a
ну я фундаментально ничего против
ValidationNel не имею, конечноOℕ
Take functional programming's "algebraic reasoning" with a grain of salt: the monad laws, for example, only ensure you can reason about your imperative DSL like a C programmer reasons about statements.
Когда-то один умный итальянский чел расссказал, как использовать один узкий тип монад для разных форм представления последовательных вычислений.
После того, как один ФП супергерой перевёл его статью на человеческий, мысль стала такой популярной, что сегодня её формулируют как "монады - это и есть последовательные вычисления"
После того, как один ФП супергерой перевёл его статью на человеческий, мысль стала такой популярной, что сегодня её формулируют как "монады - это и есть последовательные вычисления"
VE
а как же ValidationNel? Отличная штука для сбора ошибок.
EitherNec + parTraverse тоже норм собирает ошибки
IT
Когда-то один умный итальянский чел расссказал, как использовать один узкий тип монад для разных форм представления последовательных вычислений.
После того, как один ФП супергерой перевёл его статью на человеческий, мысль стала такой популярной, что сегодня её формулируют как "монады - это и есть последовательные вычисления"
После того, как один ФП супергерой перевёл его статью на человеческий, мысль стала такой популярной, что сегодня её формулируют как "монады - это и есть последовательные вычисления"
как поставить лайк на этот ответ?
λ
EitherNec + parTraverse тоже норм собирает ошибки
А также позволяет фейлфастно байндить без конвертаций
D
как поставить лайк на этот ответ?
занести в прод тофу
IT
У нас разрешён только сионизм
λ
У нас разрешён только сионизм
Тофу кошерно