Oℕ
Нет, как раз вайлдкард противней
Size: a a a
2020 October 28
Oℕ
Компилятор ломается на вайлдкардах вообще всюду
λ
есть такое, да
Oℕ
Future[Unit] UIO[Unit] IO[Unit] Task[Unit] etc. требуют дополнительного действия для конвертации результата, но в случае со всеми остальными типами, кроме Future, это иногда может позволить сэкономить спичку-другую за счёт того, что результат выбросится раньше
C
Валерия Никуленко ▫️ Копирайтер ▫️ Переводчик has been banned! Reason: CAS ban.
2020 October 29
NP
Привет! Подскажите есть ли какая-то разница между
https://scastie.scala-lang.org/pedorich-n/8je3SBx7Qzya15zXIKQXzw/1
W <: AnyVal и W <:< AnyVal, вот для такого примера? https://scastie.scala-lang.org/pedorich-n/8je3SBx7Qzya15zXIKQXzw/1
Oℕ
Тонкая грань, она есть но может проявиться в нетривиальных ситуациях
Oℕ
правда. непонятно, зачем вам вообще требовать <: AnyVal
NP
правда. непонятно, зачем вам вообще требовать <: AnyVal
Ну код будет для классов которые наследуют
AnyVal, я так понимаю в принципе это необязательно указывать в типах, потому что Unwrapped для других типов и не найдет, но думал может дополнительно заэнфорсить типыNP
Да, я уже посмотрел исходники и там инстансы
Unwrapped есть только для AnyVal и newtype, так что по идее смысла нетуNP
Спасибо!
NP
Кстати всё таки есть смысл ограничивать тип, потому что есть https://github.com/milessabin/shapeless/blob/master/core/src/main/scala/shapeless/unwrapped.scala#L70.
Код компилится, а мне бы этого не хотелось https://scastie.scala-lang.org/pedorich-n/d3eD13TCTQypxjS6b1qTOQ/2
Код компилится, а мне бы этого не хотелось https://scastie.scala-lang.org/pedorich-n/d3eD13TCTQypxjS6b1qTOQ/2
B
Всем добрый день, кто может подсказать или где можно посмотреть примеры запросов для мапы, то есть на вход у нас есть мапа и значения должны обновляться по ключу
КЗ
Всем добрый день, кто может подсказать или где можно посмотреть примеры запросов для мапы, то есть на вход у нас есть мапа и значения должны обновляться по ключу
Oℕ
Кстати всё таки есть смысл ограничивать тип, потому что есть https://github.com/milessabin/shapeless/blob/master/core/src/main/scala/shapeless/unwrapped.scala#L70.
Код компилится, а мне бы этого не хотелось https://scastie.scala-lang.org/pedorich-n/d3eD13TCTQypxjS6b1qTOQ/2
Код компилится, а мне бы этого не хотелось https://scastie.scala-lang.org/pedorich-n/d3eD13TCTQypxjS6b1qTOQ/2
/shrug
D
/shrug
вы собираетесь тофу переписывать из-за ce3?
Oℕ
вы собираетесь тофу переписывать из-за ce3?
а что в тофу переписывать