предположим, у меня есть type VS[A] = Validation[String, A] val v: VS[Option[A]] val f: A => VS[B] Я хочу получить результат типа VS[Option[B]] , но если v является Success(None) , результат также должен быть Success(None) . Вот...

Учитывая метод def f[A, B, C](a: A) : Kleisli[Future, B, C] = ??? Мне нужен комбинатор, работающий с Option[A] Моя первая попытка была: def g[A, B, C](a: Option[A], default: => C) = a match { case Some(a) => save(a) case...

Я узнаю о монадах из книги «Изучите Haskell во благо!» Миран Липовача. Я пытаюсь понять закон ассоциативности для монад. По сути, закон гласит, что когда у вас есть цепочка приложений монадических функций с >>= , не должно иметь значения,...

Изменить: мы будем называть стрелку p чистой, если существует такая функция f , которая: p = arr f . Я пытаюсь лучше понять Arrows в Haskell и хочу выяснить, когда f >>> (g &&& h) = (f >>> g) &&& (f...