AS
/init.sql попробуйSize: a a a
2021 April 30
ΛВ
импорт кетс синтакс олл
TT
А нет, я объект не вытащил. Спасибо
ΛВ
ну смотри, ошибки то другие
TT
Да, я когда импортнуть смог, уже напоролся и поправил. Все сошлось
ММ
Возможно ли сделать компайл-тайм проверку на равенство типов ?
https://scastie.scala-lang.org/QtH7CgqkQJ2BsaitZbbj3w
https://scastie.scala-lang.org/QtH7CgqkQJ2BsaitZbbj3w
λ
Возьми из шляплеса
Oℕ
В скасти же в компайл тайме проверка прошла
ММ
Я видимо обратным образом сформулировал задачу. Нужно, чтобы не проходила.
ΛВ
а в котоэффектах есть Ref, но без мутирующих методов? Типа просто OnlyGetRef[F, A] { def get: F[A] }
ЮБ
Из коробки нет
ЮБ
Можно свою абстракцию сделать
ΛВ
оке, пасиба
Oℕ
можете взять izumi.Tag, там есть оператор равенства
Oℕ
Так используйте просто F[A]
Oℕ
Зачем нужен специализированный тип, если это не тайпкласс
ММ
Спасибо. Я так понял, что через стандартную либу - это будет путаный костыль?
TT
А в дуби можно как-то напечатать стейтмент для теста? Что-то не могу найти, а check на ConnectionIO не вызывается