Oℕ
А откуда он взял то, что лум по перфомансу хуже, чем фьючи?
Size: a a a
2020 May 18
Oℕ
Или котоэффекты
λ
тут хз, возможно имеется ввиду возможность выбора тредпулов
Oℕ
в луме можно выбирать тредпулы
AT
Прямо сейчас, похоже, нет
Можно тогда сделать пояснительный гист для господ?
DM
Можно тогда сделать пояснительный гист для господ?
в твоем боте нету примеров?
AT
в твоем боте нету примеров?
Неа, мы там плюём на ошибки
ИО
Если 1 часть поста (в которой не описано собственно решение проблемы) вас заинтересовала, то вас заинтересует то, что в tofu как раз есть тайпкласс для ошибок с автовыведением инстансов для подошибок через призмы.
Если это может решить какие-то проблемы, то вот есть имплементация, прошедшая через несколько продов, можете её использоать
Если это может решить какие-то проблемы, то вот есть имплементация, прошедшая через несколько продов, можете её использоать
Ты имеешь в виду что не надо использовать ContravariantRaise и заморачиваться с реальным субтайпингом ошибок?
DS
Может кто знает: а есть ли какая-нибудь возможность простым образом в скале сэмулировать ConstraintKinds из хаскеля?
Как решить проблему альтернативными путями понятно, как сделать в дотти тоже понятно, но может кто-то знает готовую либу или подход поприятнее под это для текущей скалы.
Как решить проблему альтернативными путями понятно, как сделать в дотти тоже понятно, но может кто-то знает готовую либу или подход поприятнее под это для текущей скалы.
Oℕ
Ты имеешь в виду что не надо использовать ContravariantRaise и заморачиваться с реальным субтайпингом ошибок?
Мы как раз обсуждаем это в дискорде.
Скорее всего в следующей версии ContravariantRaise уйдёт из синтаксиса с сохранением прежних фич для субтайпинга
Скорее всего в следующей версии ContravariantRaise уйдёт из синтаксиса с сохранением прежних фич для субтайпинга
Oℕ
Ты имеешь в виду что не надо использовать ContravariantRaise и заморачиваться с реальным субтайпингом ошибок?
Присоединяйся
SB
если я хочу State + IO,
type StatefulIO[S, A] = StateT[IO, S, A] это то что мне нужно в Cats или есть что-то более подходящее, не подскажите?R
если я хочу State + IO,
type StatefulIO[S, A] = StateT[IO, S, A] это то что мне нужно в Cats или есть что-то более подходящее, не подскажите?Если нужен конкаррент стейт, то
Ref[IO, S]Oℕ
Если нужен конкаррент стейт, то
Ref[IO, S]+
Oℕ
если я хочу State + IO,
type StatefulIO[S, A] = StateT[IO, S, A] это то что мне нужно в Cats или есть что-то более подходящее, не подскажите?StateT[IO, S, ] - это моральный эквивалент S => IO[S, A], иными словами писать функцию
эквивалентно написанию
Это форма функционального стейта, но строго линеаризованного и теряющегося при первой же ошибке.
Ref, MVar, Ref, Queue, Atom, Agent - формы мутабельного состояния и обмена информацией для конкурентных программ
def foo(...): StateT[IO, S, A]
эквивалентно написанию
def foo(...)(init: S): IO[(S, A)]
Это форма функционального стейта, но строго линеаризованного и теряющегося при первой же ошибке.
Ref, MVar, Ref, Queue, Atom, Agent - формы мутабельного состояния и обмена информацией для конкурентных программ
2020 May 19
P
Upgrading material and assignments to Scala 3
доку писать зовут.
вот бы в компанию на букву Т такого челика позвали
доку писать зовут.
вот бы в компанию на букву Т такого челика позвали
Oℕ
Неужели у тайплевел плохие доки
λ
он про Теслу
Oℕ
Думаю, если бы X работал в септуагинте, X бы обязательно тратил больше времени на написание поясняющих и вдохновляющих текстов