да, мне нужна была монада, а не моноид

Юз кейс какой?

Где у тебя связывание?

пошаговый алгоритм. Если нашли на первом шаге - отдаём результат и дальше не идём. Если не нашли - идём на второй шаг. И так далее

пошаговый алгоритм. Если нашли на первом шаге - отдаём результат и дальше не идём. Если не нашли - идём на второй шаг. И так далее

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

фолд же, не?

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

+

или тебе нужна манатка, чтобы писать фор-компрехеншоны, а не |+|

пиши через врайтер тогда

или тебе нужна манатка, чтобы писать фор-компрехеншоны, а не |+|

именно

я не хочу другие части даже вычислять

Попробуй еще посмотреть на Foldable.collectFirstSome

Попробуй еще посмотреть на Foldable.collectFirstSome

OptionT[Eval, Result]

OptionT[Eval, Result]

Он так внутри и написан

Вроде

OptionT[Eval, Result]

У меня ещё эффекты есть, так что так не получится

если бы алгоритм был бы синхронный я бы скорее всего не парился

OptionT[EffectT[Eval, ?], Result

OptionT[IO, Result]

[F[_]: Sync] OptionT[F, Result]

OptionT[IO, Result]

Оно же наоборот будет? Типа если что-то не нашли - то остановились. А мне нужно, что если что-то нашли - остановились

Оно же наоборот будет? Типа если что-то не нашли - то остановились. А мне нужно, что если что-то нашли - остановились

если что-то нашли остановились

так и будет

нет, будет наоборот

Так

А это разве не оно: https://github.com/Odomontois/manatki/blob/master/src/main/scala/manatki/foldable.scala

Манатка

Полгода назад для DBIO такое просили

похоже

Это и есть улучшенный collectFirstSome для монадки

всем спасибо, теперь надо всё переварить

https://gist.github.com/Odomontois/3b24a007165fab101776392334d7e2a6

https://gist.github.com/Odomontois/3b24a007165fab101776392334d7e2a6

перемудрил, заменил на foldK

Это и есть улучшенный collectFirstSome для монадки

там особенность в том, что я не требую даже функтора от F

тока фолдабл

Ну да, F это список пробных вариантов

М эффект

@odomontois вот это (https://github.com/Odomontois/manatki/blob/master/src/main/scala/manatki/effect.scala#L8) кстати добавили в либу https://github.com/typelevel/cats-effect/pull/221

Но еще не выпустили

збс

А вопрос с законностью такой конверсии как решили? Был старый ишшью где неделку со спиваком это обсуждали долго

Или это про другое?

А вопрос с законностью такой конверсии как решили? Был старый ишшью где неделку со спиваком это обсуждали долго

Недолго они обсуждали

Может не долго, но давно

а можно ли котами traverse-нуть Map по значениям, не ковертируя в List туплов?

а можно ли котами traverse-нуть Map по значениям, не ковертируя в List туплов?

А зачем тут коты вообще?

Map[K, M[V]], где M - монада (или аппликатив)

наверное корректнее было сказать не traverse, а sequence

Sequence это траверс на id

садись, пять!

Ну я к тому что какая разница

почему нельзя просто пройтись по мапе? она имплементит iterable

Ну я к тому что какая разница

угу, просто тут некоторые могут подумать, что речь про итерацию

Как Гриша

а можно ли котами traverse-нуть Map по значениям, не ковертируя в List туплов?

да

вроде не работает, или надо явный type annotation?

import alleycats.instances.all._

никак не сделают отдельного объекта для мапы

о, точно, забываю про алейных котов, спасибо, о, Олег!

есть ещё SortedMap, для него есть в законопослушных котах

правда, в скала для него код не менялся с 2.8 походу

стрёмная штучка ))

ERROR: S client not available

ещё для мапы, как ты знаешь, есть unorderedTraverse

Но мне так и не удалось его поюзать

это для обычной мапы?

вроде да

ну да, но это для коммутативных аппликативов

которые на практике чуть реже, чем никогда

гы, да

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

java.util.concurrent.ForkJoinPool

java.util.concurrent.ForkJoinPool

https://github.com/jdegoes/scalaz/blob/series/8.0.x/effect/jvm/src/main/scala/scalaz/effect/RTS.scala#L75

А почему интересно fixed?

Померил и зафиксил

Так все качки делают

Всем привет! Срочно разыскиваю бэкенд девелопера в крутейший стартап, есть тут желающие/заинтересованные?

Всем привет! Срочно разыскиваю бэкенд девелопера в крутейший стартап, есть тут желающие/заинтересованные?

@scala_jobs

вам сюда

https://t.me/scala_jobs

спасибо)

сразу извиняюсь за спам

сорри - уже прочитал и запостил в правильную группу

сорри - уже прочитал и запостил в правильную группу

Еще можно в 'неправильной' удалить.

Господа,java 9 от дмк в pdf есть у кого нибудь ?

Толсто

Господа,java 9 от дмк в pdf есть у кого нибудь ?

Там львиная доля текста про модули. Пока их в скале нету -- только слюни пускать

Там львиная доля текста про модули. Пока их в скале нету -- только слюни пускать

Я нашел уже.Просто глянуть хотел в общих чертах

Там львиная доля текста про модули. Пока их в скале нету -- только слюни пускать

причём модули не работают

и никто не знает как с ними работать

даж в джаве

В джаве?

да

То есть не работает функционал, который для модулей появился, или просто трудно разобраться?