Пользователь 61918

Есть вопрос про обработку ошибок в Bracket. У меня есть трейт trait Storage[F[_]]{ def uploadFile(path: String): F[Unit] def recover(): F[Unit] } У меня есть его им...

Кстати ещё хотел бы узнать как тестить таймер? Я при композиции приложения потребовал F[_] : Concurrent: Timer Собственно с тестированием таймера возникли сложности. Единст...

Привет. У меня есть вопрос про ФТ и котовый IO. Я слепил модель и написал для неё интерпретатор параметризованный cats.IO. Выглядит это примерно так: case class Event(type: S...

Привет. Есть вопрос по дизайну. Мне нужно задизайнить Key-Value store в ТФ нотации. От этого KVStore нужно уметь get/put. Но и также если значение там не представлено, то поло...

Привет. Вопрос про ФТ. Как обработать ошибку? У меня есть final case class Entity(...) final case class State(...) trait Model[F[_]]{ def getCurrentState(): F[State] d...

Привет, Коллеги. Хотел бы попросить помощи по fs2 стримам. У меня есть val s: fs2.Stream[IO, Unit] = fs2.Stream.fixedDelay(100.seconds)//.map,flatMap, etc... Проблема в том...

Нашёл футноут 148) If the initializer list for a subaggregate or contained union does not begin with a left brace, its subobjects are initialized as usual, but the subaggrega...

Вопрос про метод fs2.Stream.merge(fs2.Stream) В документации указано The implementation always tries to pull one chunk from each side before waiting for it to be consumed ...

Привет. Возник очередной тупой вопрос про котоэффекты и ошибки. Насколько я понял у cats.effect.Effect есть инстансы для Bracket[F, Throwable] , где F - какой-то эффект. У м...

Привет. Вопрос про файнал таглесс. Как вы тестируете приложение? У меня есть trait Model[F[_]]{ def get(s: String): F[String] def put(s: String): F[Unit] } И вот как ...

Вопрос. Если я объявляю структуру на стеке следует ли сразу всю память этой структуры выставить в 0? Является ли это хорошей практикой или это впринципе можно не делать? str...

Есть opinion-based вопрос. При составлении ТФ модели, как вы её описываете? Конкретно, я пытался в преобразованиях уйти от низкоуровневых штук типа Array[Byte] и использовать ...

А можно ли определить ТФ представление pull стрима вот так: trait PullBasedStream[F[_]]{ def nil[A]: F[A] def pull[A](fa: F[A])(f: A => Unit): F[A] ? def toEff...

Привет. Я только начинаю использовать vscode и вопрос может быть довольно тупым. Кто знает, почему с открытым vscode cargo clean не удаляет target? А если его ручками прибить,...

Окей... Тогда зачем эти трейты параметризлванные типом с дыркой называют алгебрами? Как ты сказал алгебра в категории функторов?

Вопрос про ТФ. Я определил преобразование (трейт с дыркой для F = IO). Однако по смыслу получается что удобное было бы если F = OptionT[IO, ?]. Как лучше бы сделать... IO ~> O...

Вопрос, а есть ли у vscode такаяже фича как у идеи. Можно ли сделать, чтобы импорты проставлялись автоматически при выборе нужного символа? Или от ручного написания use std::x...

Привет. У меня есть трейт trait Tr[F[_], A]{ //... } Существует изоморфизм f: A -> B для некоторых типов A, B. Можно ли в общем случае из Tr[Task, A] и изоморфизма f: A ...

Я малость запутался. Некорректный код может быть рабочим и это не обязательно UB, а что это ещё может быть? Unspecified это же Некорректный?

@lmnet89 Вопрос тебе про ошибочки про которые ты вчера спрашивал. На чем ты остановился? Я все таки у себя решил привезти явно F ~> G в модуль для конвертации ошибок, чтобы по...