AT
типа
fa.as(b) в синтаксисе функтораas(b: B)Size: a a a
2020 May 29
λƒ
спасибо!
AA
Гайз, привет, у меня тут несложная вроде проблема, но никак не могу решить, может кто-нибудь сталкивался с чем-то подобным?
Тут простая рекурсия, Pd
так вот
Если оставить рекурсивный вызов внутри for comprehension, то не получается tail рекурсия
Если вынести, то метод заканчивается раньше, чем отрабатывают Future и результат получается неправильным
def printData[F[_] : Monad](data: List[String], pdfDoc: PdfDocument[F]): F[Unit] = {
if (data.isEmpty) {
pdfDoc.pure()
} else {
for {
_ <- pdfDoc.addText(data.head)
} yield {
printData(data.tail, pdfDoc)
}
}
}Тут простая рекурсия, Pd
fDocument[F] => PdfDocument[Future] в этом случаетак вот
Если оставить рекурсивный вызов внутри for comprehension, то не получается tail рекурсия
Если вынести, то метод заканчивается раньше, чем отрабатывают Future и результат получается неправильным
VE
addText возвращает F[Unit]?AA
да
я пользуюсь java библиотекой, которая делает что-то там и ничего не возвращает
так что F[Unit]
я пользуюсь java библиотекой, которая делает что-то там и ничего не возвращает
так что F[Unit]
М
а зачем тут рекурсия, а не
data.traverse(pdfDoc.addText)?VE
тогда казалось бы
должно сработать, в приведённом коде получается F[F[Unit]]
pdfDoc.addText(data.head) >> printData(data.tail, pdfDoc)
должно сработать, в приведённом коде получается F[F[Unit]]
KS
У футуры стекобезопасный
flatMap, так что способы и Михаила и Василия одинаково пригодныVE
Если ваша монада не - стекобезопасна, такой трюк конечно не сработает, и придётся использовать tailRecM, хвостовой рекурсии тут не получится, потому что последний вызов - не просто вызов функции, а flatMap
https://typelevel.org/cats/typeclasses/monad.html#tailrecm
https://typelevel.org/cats/typeclasses/monad.html#tailrecm
VE
а зачем тут рекурсия, а не
data.traverse(pdfDoc.addText)?лучше так сделай, это проще, учитывая что F абстрактный
AA
Спасибо всем большое)
Почитаю и попробую так сделать
Почитаю и попробую так сделать
P
Нубский вопрос. Сто раз наверное обсуждали, но всё же.
Преположим у меня есть
И, предположим у меня есть
Может есть готовые решения которые позволят такое делать без заворачивания
Преположим у меня есть
case class Context(cats: Int, dogs: Int).И, предположим у меня есть
MonadState[F, Context]. И я хочу получить нужный MonadState[F, Int].meow-mtl позволяет мне это сделать просто вызвав MonadState[F, Int], но он, как я понимаю, выбирает по типу, то есть я не могу выбрать dogs это будет или cats.Может есть готовые решения которые позволят такое делать без заворачивания
cats и dogs во врапперы?λ
Python
Нубский вопрос. Сто раз наверное обсуждали, но всё же.
Преположим у меня есть
И, предположим у меня есть
Может есть готовые решения которые позволят такое делать без заворачивания
Преположим у меня есть
case class Context(cats: Int, dogs: Int).И, предположим у меня есть
MonadState[F, Context]. И я хочу получить нужный MonadState[F, Int].meow-mtl позволяет мне это сделать просто вызвав MonadState[F, Int], но он, как я понимаю, выбирает по типу, то есть я не могу выбрать dogs это будет или cats.Может есть готовые решения которые позволят такое делать без заворачивания
cats и dogs во врапперы?Решение называется ньютайпы.
P
Решение называется ньютайпы.
😭
λ
Еще в тофу классиоптики на 2.13 тэгают линзы лейблом с именем поля, так что они получаются различимы
VS
doobie-знатоки, подскажите куда смотреть, чтобы понять во что превращается вызов
и понять как он интерпретируется?
sql"".query.streamи понять как он интерпретируется?
VS
чето у моникса все в разы проще в кишках
P
doobie-знатоки, подскажите куда смотреть, чтобы понять во что превращается вызов
и понять как он интерпретируется?
sql"".query.streamи понять как он интерпретируется?
Он же при компиляции прямо в консоль выводит во что превращается, не?
λ
doobie-знатоки, подскажите куда смотреть, чтобы понять во что превращается вызов
и понять как он интерпретируется?
sql"".query.streamи понять как он интерпретируется?
А что непонятно?