Oℕ
нужно сделать инвариантный опшен с такой оптимизацией
Size: a a a
2020 March 25
DM
тут сложность в том, что Option[String] <:< Option[Any]
не понял
DM
а это значит, что рантайм представление у субтайпингового кода будет отличаться
так вся речь про рерайт была, еще какое то значение отличаться?
D
Че за курс, который на степике?
Он же совсем базовый вроде если ты про него
Он же совсем базовый вроде если ты про него
Ага, я параллельно ещё читал всякое конечно, про фьючи там. Требования разные ж бывают, меня кроме базового и не спрашивали ничего.
Oℕ
так вся речь про рерайт была, еще какое то значение отличаться?
ну представь, что у тебя есть Option[Client] такой
Oℕ
ты передаёшь его в функцию
дальше тело функции
def foo(opt: Option[Any])
т.к. действует субтайпинг твой Client | Null передаётся без измененийдальше тело функции
def foo(opt: Option[Any]) = opt matchты получаешь match error
case Some(_) => true
case None => false
λ
ты передаёшь его в функцию
дальше тело функции
def foo(opt: Option[Any])
т.к. действует субтайпинг твой Client | Null передаётся без измененийдальше тело функции
def foo(opt: Option[Any]) = opt matchты получаешь match error
case Some(_) => true
case None => false
Ну если у тебя переписать это на матчинг нал на первом месте и эни в конце, то может и будет работать
Oℕ
Ну если у тебя переписать это на матчинг нал на первом месте и эни в конце, то может и будет работать
для Any уже не имеет права переписывать
KC
Ага, я параллельно ещё читал всякое конечно, про фьючи там. Требования разные ж бывают, меня кроме базового и не спрашивали ничего.
Бля я тоже так хочу
Oℕ
потому что Any может быть само по себе Option
KC
А то куда не глянь монады коты зио хотят от джуна я чет такой ну нахуй
ᛒ
в дотти если есть Option[A] и статически можно получить A <:< AnyRef, компиляторно оптимизировать его в Null | A
λ
для Any уже не имеет права переписывать
Да, это сложно. Но думаю впринципе реально сделать
Oℕ
Да, это сложно. Но думаю впринципе реально сделать
можно сделать только с инвариантным опшеном
ᛒ
Олег как думаешь
ᛒ
дотти ведь дрочица на ровном месте щас
ᛒ
с этими ренеймингами
DM
все равно не понял, коронавирус съел остатки мозгов видно
w
все равно не понял, коронавирус съел остатки мозгов видно
