АР
Size: a a a
2020 May 14
K
Хмм, а может наоборот в дотти баг.
K
Хотя наверное все верно
Oℕ
Хмм, а может наоборот в дотти баг.
Ну сам подумай ковариантных типов меньше, чем инвариантных, каждый ковариантный сойдёт за инвариантый.
Значит тайпконструкторов, которые принимают инвариантные типы(т.е. те и другие), меньше, чем тех, которые только ковариантные
Значит тайпконструкторов, которые принимают инвариантные типы(т.е. те и другие), меньше, чем тех, которые только ковариантные
Oℕ
Т.е. аргумент тайпконструктора - это контравариантная позиция
Oℕ
Как и аргумент функции
Oℕ
только в кайндах
Oℕ
Я пытался сконструировать ансаунднесс, но пока не смог
K
Тоже не могу, короче вроде все верно.
Oℕ
Тоже не могу, короче вроде все верно.
в скале 2?
K
В дотти
Oℕ
т.е. нужно ругаться на baz а не на quux , т.е. нельзя в конструктор, требующий ковариантный параметр передавать инвариантный
AS
@odomontois а обязательно ли Local наследовать Context? Если мне нужно только назначить контекст, но не читать его.
Oℕ
@odomontois а обязательно ли Local наследовать Context? Если мне нужно только назначить контекст, но не читать его.
Не задумывался ни разу о такой абстракции. Не могу придумать типа, который абстрагировался бы ей, разделяющего локал и контекст
AS
Не задумывался ни разу о такой абстракции. Не могу придумать типа, который абстрагировался бы ей, разделяющего локал и контекст
ну вот у меня контекст выставляется в веб ресурсах при авторизации, соответственно мне не нужно его там читать
Oℕ
и чем грозит использование Local в текущей форме?
AS
и чем грозит использование Local в текущей форме?
Это часть большей проблемы, давай я лучше зайду с другой стороны, т.к. возможно подтупливаю. ) Контекст создается во время веб запроса, то есть при старте аппа его нету. Должен ли тогда быть тип контекста
Option[Ctx] или каким-то ADT? Но тогда мне в веб ресурсе нужен F WithLocal Option[Ctx]. Это ок. Но сервис слою нужен F WithContext Ctx, как мне к нему прийти из F WithLocal Option[Ctx]?AD
Скала 3 не нужна
Завези безскобочный синтаксис и стейджед программинг и возможно да.
Oℕ
ну вот у меня контекст выставляется в веб ресурсах при авторизации, соответственно мне не нужно его там читать
Я могу представить такую абстракцию
и сделать
trait Consider[F[_], C]{
def consider[A](c: C, fa ; F[A]): F[A]
}и сделать
type WithSpecify[F[_], C] = Consider[F, C => C]
trait WithLocal[F, C] extends WithContext[F, C] with WithSpecify[F, C] { ... }
}
Oℕ
Это часть большей проблемы, давай я лучше зайду с другой стороны, т.к. возможно подтупливаю. ) Контекст создается во время веб запроса, то есть при старте аппа его нету. Должен ли тогда быть тип контекста
Option[Ctx] или каким-то ADT? Но тогда мне в веб ресурсе нужен F WithLocal Option[Ctx]. Это ок. Но сервис слою нужен F WithContext Ctx, как мне к нему прийти из F WithLocal Option[Ctx]?Ну ты собственно и подошёл к той проблеме, по которой у большинства инициализирующих что-то абстракций стоит в результате
А также то, зачем вообще нужен Unlift приоритетно
I[Foo[F]]А также то, зачем вообще нужен Unlift приоритетно