type FRes[X] = Future[Result[X]]

val result : FRes[String]

авось обманем scalac

авось обманем scalac

Неа.

Неа.

сожалею, пройдите к трансформерам

вообще логично, он преобразует во flatMap

точнее в мап

у фьючи есть свой мап, и он не ищет имплиситной конверсии в синтаксисе

Да, тоже хотел написать.

Можно обёртку сделать, хех.

Можно обёртку сделать, хех.

и эта обёртка будет копией EitherT

Верно. Хорошо, что я могу без трансформеров обойтись.

@pomadchin @gurinderu https://habrahabr.ru/post/332450/

боян

статье года 2

он пишет про проблемы aufs

можно дропать сразу

(ну типа аутдейтед проблема 2 годовалой давности)

хабр + сбер + aufs = успех

так вы чо, не комментарии палите, а читаете?

ну я не читаю хабр; ток тут когда вбрасывают что-то

ну я не читаю хабр; ток тут когда вбрасывают что-то

ну я вбросил, так что можно в комменты пройти

статье года 2

1 ноября 2016 года

Подскажите, почему EitherT.flatMap не получается переписать в for-comprehensioin? https://gist.github.com/Chicker/8a43fa7417a623b0a8b862af2b5b4119

вопрос дня)

Подскажите, почему EitherT.flatMap не получается переписать в for-comprehensioin? https://gist.github.com/Chicker/8a43fa7417a623b0a8b862af2b5b4119

Потому что ты оборачиваешь его в EitherT.right

Подскажите, почему EitherT.flatMap не получается переписать в for-comprehensioin? https://gist.github.com/Chicker/8a43fa7417a623b0a8b862af2b5b4119

for { config <- eithConfig service = new GetInfoByIpServiceImpl(productionEnv) out <- EitherT.right(service.countryCode(config.ipAddress)) } yield out

Потому что ты оборачиваешь его в EitherT.right

Не, с flatMap все работает. Не работает с for-comp...

ну у тебя же есть разница в том как написан вариант c flatMap и как написан вариант c for-comprehension

Хм, так работает)

Правда не очень красиво получается

твой вариант с фором превращается после дешугаринга вот в это eithConfig.map { config => val service = new GetInfoByIpServiceImpl(productionEnv) service.countryCode(config.ipAddress) }

Правда не очень красиво получается

красиво это не про трансформеры

Хм, я всегда думал, что for - это sugar для flatMap, а не для map

Я думал, что for - это налог do-нотации из Haskell. Sugar для >>= (bind)

Хм, я всегда думал, что for - это sugar для flatMap, а не для map

flatMap, map, withFilter, forEach

ну это и про flatMap

просто у тебя этого нет в твоем for

то что ты пишешь в yield делается через map

если конечно не просто возвращаешь переменную из скоупа

for { config <- eithConfig service = new GetInfoByIpServiceImpl(productionEnv) out <- EitherT.right(service.countryCode(config.ipAddress)) } yield out

тут есть flatMap

так как больше одной <-

Ааа, все понял ! >> то что ты пишешь в yield делается через map Вот это я не понимал, я думал, что он то что я напишу в yield сам обернет в монаду EitherT, типа pure сделает

неее ) слишком круто для нашего цирка )

но и pure бы тебе не помог

Ааа, все понял ! >> то что ты пишешь в yield делается через map Вот это я не понимал, я думал, что он то что я напишу в yield сам обернет в монаду EitherT, типа pure сделает

тебе там не pure а lift нужен, никто его на автомате за тебя не сделает

потому что ты лифтишь F[A]

EitherT.right же лифтит )

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

по идее, Either - right biased. for мог бы и догадаться)

for { config <- eithConfig service = new GetInfoByIpServiceImpl(productionEnv) out <- EitherT.right(service.countryCode(config.ipAddress)) } yield out А это по-красивее можно сделать? без промежуточного out?

по идее, Either - right biased. for мог бы и догадаться)

есть и просто lift https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/MonadTrans.scala#L12

т.е. можно .liftT https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/syntax/monadTrans.scala

но у меня обычно тип не выводит

а liftT[EitherT[?[_], AppError, ?]] выглядит хардкорновато

но можно просто засаммонить MonadTrans и юзать его методж

а что нужно import, чтобы liftT появился у Future?

syntax.monadTrans._

что-то нету в cats.syntax.monadTrans (

что-то нету в cats.syntax.monadTrans (

удивительно, потому что выше ссылка на его исходник

версия котов?

а стоп, я только cats-core добавил в зависимости)

думал core обойдусь ;))

странно, все равно нет. версия сats 0.9.0

сорри

ERROR: S client not available

transLift

import cats.syntax.transLift._

в cats вообще нет MonadTrans, см скрин выше

да, я случайно со scalaz

в cats он называется TransLift

а на github есть

точнее назывался до https://github.com/typelevel/cats/commit/57d881974c0f2d4695749385e7603221bbf2c7bb

межу MonadWriter и MonadState должен быть MonadTrans ... а у меня его нет)))

ну я же кинул

просто это свежий коммит, ещё не релизен

и package c именем transLift тоже нет

то есть, это не у меня глюки? а просто этих файлов еще нет в 0.9.0?

и package c именем transLift тоже нет

блин, cats.syntax.transLift ?

Какую-то ерунду пишет компилятор: could not find implicit value for parameter extract: cats.syntax.TLExtract[cats.syntax.TLExtract.SingletonMT{type MT[F[_], B] = MT0[F,B]},cats.syntax.TLExtract.SingletonM{type M[B] = scala.concurrent.Future[B]}] [error] } yield service.countryCode(config.ipAddress).liftT

но у меня обычно тип не выводит

а liftT[EitherT[?[_], AppError, ?]] выглядит хардкорновато

yield service.countryCode(config.ipAddress).liftT

так нельзя делать )

ну можно, вот только бесполезно

yield service.countryCode(config.ipAddress).liftT

блин я даже не заметил

зачем ты опять liftT в yield засунул?

for { ... out <- service.countryCode(config.ipAddress).liftT } yield out

ну можно, вот только бесполезно

хочу от out избавиться)

сорян

это к Мартину

https://spring.io/blog/2017/07/05/introducing-spring-cloud-function

вроде не первое апреля

с liftT ерунда какая-то получается, оставлю лучше явный EitherT.right

ну да или можешь импортнуть import EitherT._ и писать просто right

ага, всем спасибо)