вчера ты аннелид, а сегодня тимлид

Хорошая шутка на стыке биологии и разработки)

стоп, это же не понв

7 тоже помидор

ха-ха, с такими знаниями в Тинькофф не возьмут

спасибо как нибудь без тинькова

ха-ха, с такими знаниями в Тинькофф не возьмут

зато на овощебазу в самый раз

Есть data = EitherT[Future, A, B] если А есть логика f(A) которая возвращает EitherT[Future, С, D] ecли B есть логика g(B) которая возвращает EitherT[Future, С, D] Как красиво сделать трансформацию EitherT[Future, A, B] -> EitherT[Future, С, D] ?

bimap

Bimap?

BitMap?

если просто bimap тогда получается EitherT[Future, EitherT[Future, С, D], EitherT[Future, С, D]]

Есть data = EitherT[Future, A, B] если А есть логика f(A) которая возвращает EitherT[Future, С, D] ecли B есть логика g(B) которая возвращает EitherT[Future, С, D] Как красиво сделать трансформацию EitherT[Future, A, B] -> EitherT[Future, С, D] ?

flatMap(g).leftFlatMap(f)

аааа не не подходит

flatMap(g).leftFlatMap(f)

типы не сходятся тогда

Есть data = EitherT[Future, A, B] если А есть логика f(A) которая возвращает EitherT[Future, С, D] ecли B есть логика g(B) которая возвращает EitherT[Future, С, D] Как красиво сделать трансформацию EitherT[Future, A, B] -> EitherT[Future, С, D] ?

EitherT(x.value.flatMap(_.fold(f, g).value)) но нифига не красиво, надо контрибьютить, или в манатки воткнуть

типа flatFold

EitherT(x.value.flatMap(_.fold(f, g).value)) но нифига не красиво, надо контрибьютить, или в манатки воткнуть

вот и у меня красиво не получается

или скорее даже flatTransform

если убрать EitherT, то data.flatMap(_.fold(f, g))

object foo { import scala.concurrent.Future import scala.concurrent.ExecutionContext.Implicits.global type A = Int type B = Double type C = String type D = Boolean val data: Future[A Either B] = ??? def f(a: A): Future[C Either D] = ??? def g(b: B): Future[C Either D] = ??? val result: Future[C Either D] = data.flatMap(_.fold(f, g)) }

если убрать EitherT, то data.flatMap(_.fold(f, g))

ну так я тоже самое написал

только конвертациями обвешал

чтобы решить эту задачу, а не "если взять другую задачу"

такой уже ты классный!

решил задачу

такой уже ты классный!

экзактли

ЭТУ!

Недельку обещал переписать EitherT

уж он то любитель дописывать методы

без аллокаций? :)

без аллокаций? :)

ну хз

вообще странно, что f и g возвращают EitherT, зачем его выставлять, по мне так чисто локальная штука, а возвращаться уже нормальный M[X Either B] должен

вообще странно, что f и g возвращают EitherT, зачем его выставлять, по мне так чисто локальная штука, а возвращаться уже нормальный M[X Either B] должен

у кого как

по поводу локальности

ну иногда нужно в приватном методе вернуть, чтобы по десять раз не врапать-анврапать, но в публичных сомнительно, имхо

ну иногда нужно в приватном методе вернуть, чтобы по десять раз не врапать-анврапать, но в публичных сомнительно, имхо

в публичных как раз из-за семантики часто юзают

поясни какой семантики?

Ну типа F[Either[E, X]] - это какая-то чепуха в твоём эффекте, а EitherT[F, E, X] - нечто с объявленным "особенным" типом ошибки

Например вот у меня сваггер генерится особый на EitherT, который возвращается методом

для меня они эквивалентны, но во втором потроха котов протекают, но это субъективно, поэтому - пофиг

Типа у него есть специальный структурированный тип ошибки для какого-то статуса там 500 или другого

EitherT[ автоматически MonadError и с этим много методов его может в открытый мир отдавать

привет, не знаю, проходил ли ты вчера тест от медузы, но это не шакала

9 из 10. Придется в епам идти, там за свифт пояснят

А где за перл пояснят, я уже даже не знаю...

Касперский

А где за перл пояснят, я уже даже не знаю...

Яндекс?

Слышал, что в Рамблере ещё жив ?

А рекламной сети их

Слышал, что в Рамблере ещё жив ?

Антиреклама

там даж спарки были когда то (сча хз)

https://www.youtube.com/watch?v=sFGnFKMSmL0

вспомнилась песня из алладина

он часто говорит про opaque types, хотя подразумевает type aliases. ведь это не совсем opaque types, верно?

а fibers в scalaz 8 в конечном счете так же на fork join-е основаны?

а fibers в scalaz 8 в конечном счете так же на fork join-е основаны?

что ты называешь fork join ом?

Народ есть что-то типа Function.chain(preprocessors).apply(inputText) только не A => A а A => B ?

Народ есть что-то типа Function.chain(preprocessors).apply(inputText) только не A => A а A => B ?

Ничё не понятно

Есть объект Function у него есть метод chain , судя по комментам писал Одерски

Given a sequence of functions f,,1,,, ..., f,,n,,, return the function f,,1,, andThen ... andThen f,,n,,.

Короче на вход получает Seq[A => A]

ну а дальше можно сделать apply к аргументу и получить приложение всех функций в Seq к входным данным.

угу, а ты что хочешь?

Но мне хочется чтобы на выходе был не тип A, а другой тип B

ну просто скомпозь его с функцией

в самом конце

ERROR: S client not available

у тебя ведь не более одной может быть

или ты хочешь Seq[A => B] ?

Да

Seq[A => B]

Как тогда это чей нить?

Одну функцию применил, получил B, с остальными что делать?

а не туплю, на вход Seq[(тут сложная функция с несколькими параметрами в том числе и A) => A]

а не туплю, на вход Seq[(тут сложная функция с несколькими параметрами в том числе и A) => A]

State[A, ?]

То есть есть данные и есть обработчики этих данных, у них есть дополнительные данные для обработки.

Делаешь функции X => State[A, Y]

где X - все параметры, кроме A

И пропускаешь их через фор компрехеншон

где X - все параметры, кроме A

а Y - все результаты, кроме A

тогда каждая функция будет иметь автоматически A на вход и на выход. И выход A из одного будет передаваттся в следующую

тогда каждая функция будет иметь автоматически A на вход и на выход. И выход A из одного будет передаваттся в следующую

Спасибо, подумаю над этим...

Народ, а нет ли такой манатки как опшн, только наоборот? Типа, если Some(a) - то закончили c a. Если None - то идём дальше?

Alternative для опшен

`Either[Whatever, Unit]`?

`Either[Whatever, Unit]`?

Да

Alternative для опшен

Чёт я не понял, как это мне поможет

Очень удобно делать foldM с ранним выходом

Подумой

Я вообще смотрел на всякие Continuations, но готовый есть только в скалази

я уже затащил)

`Either[Whatever, Unit]`?

Видимо да, мой вариант

List(none, 5.some, 6.some).unite это то что нужно?

List(none, 5.some, 6.some).unite это то что нужно?

поддерживаю

это моноид, а не монадка

Да, я не заметил что нужна именно монадка. Просили манатку, а у нас для этого слова отдельный смысл

ну в смысле нет

я имею в виду, что исходный запрос, несмотря на формулировку - это запрос на моноид, а не манатку