M
сломается если не экзостив
так а там null/None передастся или что-то ещё если будет не экзостив? Просто код компилируется и непонятно что там будет в итоге
PartialFunction[A, B] extends A => B.Size: a a a
2020 June 17
ΛВ
Любой комбинатор умеет принимать частичные функции, потому что
но сломается же из-за мэтча
ΛВ
я именно в этом смысле
AS
так а там null/None передастся или что-то ещё если будет не экзостив? Просто код компилируется и непонятно что там будет в итоге
scala.MatchError будет в итоге.M
забавно но у меня ничего подобного не было, возможно из-за десятка Try вокруг
AS
забавно но у меня ничего подобного не было, возможно из-за десятка Try вокруг
Ну так у вас irrefutable pattern во втором матче.
case (client, resource) =>GP
забавно но у меня ничего подобного не было, возможно из-за десятка Try вокруг
M
Ну так у вас irrefutable pattern во втором матче.
case (client, resource) =>ну я подобный код правил, и когда правил я подумал что мне все равно нечего менять и убрал это
M
потом только после часа дебага разобрался что там проблема
M
Видимо мне ссылки нельзя постить, но там, но если это обернуть в Try, то оно не падает
GP
попробуй сейчас
GP
ну эт да)
2020 June 18
ИД
@rudogma привет. Подскажи, почему в supertagged тегированные типы не ковариантны по базовому типу?
M
@rudogma привет. Подскажи, почему в supertagged тегированные типы не ковариантны по базовому типу?
M
@rudogma привет. Подскажи, почему в supertagged тегированные типы не ковариантны по базовому типу?
M
@rudogma привет. Подскажи, почему в supertagged тегированные типы не ковариантны по базовому типу?
ИД
@rudogma ну это понятно что не в одном месте плюсик поставить, для типа тега поэтому там подтип
есть ли какие-то более далекоидущие причины?
С точки зрения ожиданий мне показалось это относительно логичным.
Например у меня есть Animal, Dog extends Animal
И я провожу выставку животных. Но любых не принимаю, только со справкой что они не больны:
Интуитивно кажется что
Gag <: Uесть ли какие-то более далекоидущие причины?
С точки зрения ожиданий мне показалось это относительно логичным.
Например у меня есть Animal, Dog extends Animal
И я провожу выставку животных. Но любых не принимаю, только со справкой что они не больны:
Animal @@ HealthyИнтуитивно кажется что
Dog @@ Healthy должен проходить по требованиямM
@rudogma ну это понятно что не в одном месте плюсик поставить, для типа тега поэтому там подтип
есть ли какие-то более далекоидущие причины?
С точки зрения ожиданий мне показалось это относительно логичным.
Например у меня есть Animal, Dog extends Animal
И я провожу выставку животных. Но любых не принимаю, только со справкой что они не больны:
Интуитивно кажется что
Gag <: Uесть ли какие-то более далекоидущие причины?
С точки зрения ожиданий мне показалось это относительно логичным.
Например у меня есть Animal, Dog extends Animal
И я провожу выставку животных. Но любых не принимаю, только со справкой что они не больны:
Animal @@ HealthyИнтуитивно кажется что
Dog @@ Healthy должен проходить по требованиямНаши желания зачастую не совпадают с возможностями. Нельзя просто так взять и поставить Raw <: T. Там кругом грабли
VS
И снова про грабли:
нет ли тут подвоха? Если мне в каком то случае нужен ордеринг по определенному полю в кейс классе, получается тем же имплиситом я получу Eq по этому полю, чего я совсем не хочу
нет ли тут подвоха? Если мне в каком то случае нужен ордеринг по определенному полю в кейс классе, получается тем же имплиситом я получу Eq по этому полю, чего я совсем не хочу