D
Оч. желательно, но к указанной выше проблеме это относится опосредовано.
у вас запись в базу и в кафку не атомарна. Что будет если прила умрет с OOM после записи в базу?
Size: a a a
2020 April 15
AS
у вас запись в базу и в кафку не атомарна. Что будет если прила умрет с OOM после записи в базу?
Это тоже не проблема, решение которой изначально мне хотелось получить.
Этот пример синтетический чтобы заострить внимание на тестировании последовательности вычислений a'la
Когда по значению возвращаемого типа нельзя однозначно судить о выполнении side-effect-а
Этот пример синтетический чтобы заострить внимание на тестировании последовательности вычислений a'la
T => F[Unit]Когда по значению возвращаемого типа нельзя однозначно судить о выполнении side-effect-а
AS
А если точнее, то изначально было интересно узнать есть ли сейчас FP альтернативы для scalamock
D
А если точнее, то изначально было интересно узнать есть ли сейчас FP альтернативы для scalamock
MonadState + HasLens
AS
MonadState + HasLens
Можно ли привести ссылку на статью/видео/кусок кода где это используется в Scala?
D
Можно ли привести ссылку на статью/видео/кусок кода где это используется в Scala?
сто лет назад был митап, где Вова Самойлов рассказывал как это у нас сделано было, попробую найти ссылку на видос, вроде записывали
AS
сто лет назад был митап, где Вова Самойлов рассказывал как это у нас сделано было, попробую найти ссылку на видос, вроде записывали
Заранее спасибо 🙇♂️
M
Как убрать мнимые скобки(как они вобще называются?), которые появились относительно недавно в идее? (Скобок на самом деле нет, но идея сама их визуализирует)
D
Как убрать мнимые скобки(как они вобще называются?), которые появились относительно недавно в идее? (Скобок на самом деле нет, но идея сама их визуализирует)
если вырубить подсветку типов, то и они уйдут? @sugakandrey
λ
идея говорит что у тебя тайпмисматч
λ
убери мисматч пропадут и "мнимые скобки"
A
Насколько я понимаю, то на уровне типов в Скале нельзя гарантировать exactly-once вызовы методов.
Только at-least-once
Без linear types в этом случае никак
Только at-least-once
def handle[F[_]: Monad](
toDB: String => F[DBUnit],
toKafka: (DBToken, String) => F[KafkaUnit],
toLog: (KafkaUnit, String) => F[LogUnit]
): String => F[(DBUnit, KafkaUnit, LogUnit)] = { in =>
for {
dbUnit <- toDB(in)
kafkaUnit <- toKafka(dbUnit, in)
// can't catch this faulty call with types
_ <- toKafka(dbUnit, in)
logUnit <- toLog(kafkaUnit, in)
} yield (dbUnit, kafkaUnit, logUnit)
}
Без linear types в этом случае никак
Можно попробовать сделать с помощью IndexedStateT
import cats._
import cats.data._
import cats.implicits._
case object WriteToDb
case object WriteToKafka
case object WriteToLog
case class DbToken(value: String) extends AnyVal
def handle[F[_]: Monad](
toDB: String => IndexedStateT[F, Unit, WriteToDb.type, DbToken],
toKafka: String => IndexedStateT[F, WriteToDb.type, WriteToKafka.type, Unit],
toLog: String => IndexedStateT[F, WriteToKafka.type, WriteToLog.type, Unit]
): String => F[Unit] = { in =>
(for {
token <- toDB(in)
_ <- toKafka(token.value)
// _ <- toKafka(token.value) // compile error
_ <- toLog(in)
} yield ()).runA(())
}
AS
Точно! IndexedState же есть! 👍
Забыл про него
Забыл про него
M
убери мисматч пропадут и "мнимые скобки"
а где это в настройках? поиск по ключевикам не помогает (
λ
мисматч в твоем коде
M
мисматч в твоем коде
Мне надо отключить их в идее, а не код править. Они меня раздражают уже которую неделю)
λ
скобки нужны чтоб было понятно где мисматч
λ
можно отключить 'type mismatch hints'
VC
там часть этих штук прямо правым кликом в редакторе отключается