Oℕ
Size: a a a
2020 April 11
K
как жи устал
а тест сдал?
K
неделю уже
выздоравливай
.
Не задалбывает везде оборачивать в Result ?
да нет, обворачивается в основном на низах, например на стыке с АПИ или БД, а потом везде EitherT бегают и мапатся
A
да нет, обворачивается в основном на низах, например на стыке с АПИ или БД, а потом везде EitherT бегают и мапатся
Ну у нас так же сделано и есть много ситуаций когда простую логику прихъодится оборачивать, для которой нет "методов в низах"
.
Ну у нас так же сделано и есть много ситуаций когда простую логику прихъодится оборачивать, для которой нет "методов в низах"
и какой общий тип у этой логики? Простой F[_]?
.
нету ни изера ни трая всередине?
.
нету ведь ничего сложного чтобы ту же логику обворачивать в leftT/rightT и иметь общий тип
A
нету ни изера ни трая всередине?
Нет, в том и дело. Обычная логика, типа
{
x <- ... тут низы с изером
y <- ... тут низы с изером
z <- Result.pure(x * y)
} yield z
{
x <- ... тут низы с изером
y <- ... тут низы с изером
z <- Result.pure(x * y)
} yield z
.
а где больше простых значений в эффекте, делать .value для EitherT
w
а где больше простых значений в эффекте, делать .value для EitherT
УДОЛИ, НЕПРИЯТНО
.
Нет, в том и дело. Обычная логика, типа
{
x <- ... тут низы с изером
y <- ... тут низы с изером
z <- Result.pure(x * y)
} yield z
{
x <- ... тут низы с изером
y <- ... тут низы с изером
z <- Result.pure(x * y)
} yield z
{
x <- ... тут низы с изером
y <- ... тут низы с изером
} yield x*y
почему не так?
x <- ... тут низы с изером
y <- ... тут низы с изером
} yield x*y
почему не так?
.
распаковываешь изеры и в yield логика
.
{
x <- ... тут низы с изером
y <- ... тут низы с изером
z <- if (x>y) EitherT.rightT(x * y) else EitherT.leftT(???)
} yield z
x <- ... тут низы с изером
y <- ... тут низы с изером
z <- if (x>y) EitherT.rightT(x * y) else EitherT.leftT(???)
} yield z
R
Скорее уж образ жизни
R
Щас молодежь то не бладборн проходит
R
A
{
x <- ... тут низы с изером
y <- ... тут низы с изером
} yield x*y
почему не так?
x <- ... тут низы с изером
y <- ... тут низы с изером
} yield x*y
почему не так?
Ну это очень примитивный пимер привел, там на самом деле больше операций.
{
x <- ... тут низы с изером
y <- ... тут низы с изером
z <- Result.pure(x * y)
x1 <- ... тут низы с изером
y1 <- ... тут низы с изером
z1 <- Result.pure(z * x1 * y1)
x2 <- ... тут низы с изером
y2 <- ... тут низы с изером
z2 <- Result.pure(z1 * x2 * y2)
} yield z2
{
x <- ... тут низы с изером
y <- ... тут низы с изером
z <- Result.pure(x * y)
x1 <- ... тут низы с изером
y1 <- ... тут низы с изером
z1 <- Result.pure(z * x1 * y1)
x2 <- ... тут низы с изером
y2 <- ... тут низы с изером
z2 <- Result.pure(z1 * x2 * y2)
} yield z2
.
Ну это очень примитивный пимер привел, там на самом деле больше операций.
{
x <- ... тут низы с изером
y <- ... тут низы с изером
z <- Result.pure(x * y)
x1 <- ... тут низы с изером
y1 <- ... тут низы с изером
z1 <- Result.pure(z * x1 * y1)
x2 <- ... тут низы с изером
y2 <- ... тут низы с изером
z2 <- Result.pure(z1 * x2 * y2)
} yield z2
{
x <- ... тут низы с изером
y <- ... тут низы с изером
z <- Result.pure(x * y)
x1 <- ... тут низы с изером
y1 <- ... тут низы с изером
z1 <- Result.pure(z * x1 * y1)
x2 <- ... тут низы с изером
y2 <- ... тут низы с изером
z2 <- Result.pure(z1 * x2 * y2)
} yield z2
тут z и z2 тут не нужны, все выносится в yield