AT
Size: a a a
2020 March 25
AT
и промокода нет
AT
и йойо не дали
AT
и сугак молчит
AT
хуевая стала идея
AT
ты долго пишешь
Oℕ
в дотти если есть Option[A] и статически можно получить A <:< AnyRef, компиляторно оптимизировать его в Null | A
Oℕ
типа пишешь такой
case class Client(
id: UUID,
name: Option[String],
account: Option[Account],
foo: Option[Foo]
case class Client(
id: UUID,
name: Option[String],
account: Option[Account],
foo: Option[Foo]
Oℕ
а оно короче НЕ ОБОРАЧИВАЕТСЯ
AT
слушай идея здравая
V
в дотти если есть Option[A] и статически можно получить A <:< AnyRef, компиляторно оптимизировать его в Null | A
а в шкале2 никак?
Oℕ
в шкале можно руками только
Oℕ
но нет - никак
Oℕ
тут сложность в том, что Option[String] <:< Option[Any]
Oℕ
Option[Any] ты уже не можешь так матчить
Oℕ
а это значит, что рантайм представление у субтайпингового кода будет отличаться
Oℕ
это не оч хорошо
Oℕ
передумал, короч