AO
Нет, match работает по сравнению + unapply. По конструкторам он не работает
ок, сейчас сделаю пример
Size: a a a
2020 July 29
M
Haskell вот понимает, что если туда приходит ConfigEnv, то те типы обязательно одинаковые
Но у тебя в функцию приходит Config[Env,A] - и на этапе компиляции нельзя доказать, что там будет ConfigEnv
AO
Но у тебя в функцию приходит Config[Env,A] - и на этапе компиляции нельзя доказать, что там будет ConfigEnv
а почему вариант с
case _: ConfigEnv[_] работает?AO
Ну и Haskell с таким доказательством справляется. Есть какая-то причина, по которой Scala не может?
M
а почему вариант с
case _: ConfigEnv[_] работает?Потому, что это райнтайм проверка и ты как человек делаешь вывод, что если оно является инстансом класса ConfigEnv и одновременно при этом является чайлдом Config[Env, _] - то, следовательно с учетом входящих там гарантированно будет Config[Env,Env] и Env = A, но это твой логический вывод, а не компилятора или рантайма и тебе нужен будет каст
AO
Потому, что это райнтайм проверка и ты как человек делаешь вывод, что если оно является инстансом класса ConfigEnv и одновременно при этом является чайлдом Config[Env, _] - то, следовательно с учетом входящих там гарантированно будет Config[Env,Env] и Env = A, но это твой логический вывод, а не компилятора или рантайма и тебе нужен будет каст
так компилятор же проверяет, что в том случае тип будет
ConfigEnv, нет?M
так компилятор же проверяет, что в том случае тип будет
ConfigEnv, нет?нет, не проверяет. матч - рантайм проверки
AO
стирается же то, что внутри
[], сам ConfigEnv остаётсяΛВ
Ну и Haskell с таким доказательством справляется. Есть какая-то причина, по которой Scala не может?
Причина есть, почему иногда скала не выводит то, что выводит хаскель — в скале есть сабтайпинг
ΛВ
Может, в текущем вопросе другие причины, но это одна из подобных, я мимопробегал
AO
ну я знаю, что это часто мешает выводу чего-нибудь, но как это мешает чему-то именно тут, я пока не понял
M
Может, в текущем вопросе другие причины, но это одна из подобных, я мимопробегал
Вобще мимо. Просто в скале подобная логика проверки не реализована - вот и все.
M
ну я знаю, что это часто мешает выводу чего-нибудь, но как это мешает чему-то именно тут, я пока не понял
Скала не является хаскелем. Это свой компилятор, со своим набором реализованных и не реализованных проверок-выводов и т.д.
AO
нет, не проверяет. матч - рантайм проверки
в общем, вроде предложеный вариант делает то, что мне нужно
https://scastie.scala-lang.org/usFEsVdISh2AmLeKwPcizw
https://scastie.scala-lang.org/usFEsVdISh2AmLeKwPcizw
PM
стирается же то, что внутри
[], сам ConfigEnv остаётсяcчитайте, что это особенность синтаксиса
PM
[_] какбэ намекает, что в этом месте тип, которым параметризован ConfigEnv, уже недоступен
AO
да, это я понял, я просто не понял, что мне хотели сказать про то, что типы стираются, и как мне это должно помешать
PM
вообще в эту дырку можно чо угодно написать, любой тип. компилятор даст ворнинг, но код в рантайме не сфейлится.
AO
мне там никакая проверка вроде бы не нужна, мне достаточно того, что компилятор догадывается, что
Env=AAO
ну или не знаю, что он там себе решает внутри, но код компилирует