Телеграмм чат группы scala

18:09пожаловаться #4

PM

Scastie - An interactive playground for Scala.

Подскажите, пожалуйста, можно ли в Scala заставить работать что-нибудь подобное без asInstanceOf?
https://scastie.scala-lang.org/JXBpx6urSoK18rNxbBrMiQ

В Haskell аналогичный код работает, так что вроде бы я хочу чего-то адекватного

data W e a where
  WEnv :: W e e

bar :: e -> W e a -> Maybe a
bar e w = case w of
  WEnv -> Just e

Scastie

Scastie can run any Scala program with any library in your browser. You don’t need to download or install anything.

config match {
    case _: ConfigEnv[_] => Some(environment)
  }

18:13пожаловаться #5

AO

Paveλ M

config match {
    case _: ConfigEnv[_] => Some(environment)
  }

спасибо!

18:14пожаловаться #6

AO

а этому есть какое-то объяснение?

18:15пожаловаться #7

PM

а этому есть какое-то объяснение?

ну, у вас ConfigEnv принимает один type parameter

18:15пожаловаться #8

PM

в рантайме типов нет, поэтому я поставил _

18:16пожаловаться #9

M

Mikhail in Scala User Group

спасибо!

это лишено смысла, потому что ты теряешь типы и не проверишь их в рантайме - а судя по твоему коду, типы тебе весьма нужны ...

18:16пожаловаться #10

AO

Mikhail

это лишено смысла, потому что ты теряешь типы и не проверишь их в рантайме - а судя по твоему коду, типы тебе весьма нужны ...

не понял, зачем мне проверять типы в рантайме

18:17пожаловаться #11

AO

Paveλ M

в рантайме типов нет, поэтому я поставил _

всм я не понял, почему не работает, если делать match по конструктору, а не по типу

18:17пожаловаться #12

PM

всм я не понял, почему не работает, если делать match по конструктору, а не по типу

ConfigEnv это еще не тип

18:18пожаловаться #13

PM

это в каком-то смысле ф-ция из типа в тип

18:18пожаловаться #14

M

Mikhail in Scala User Group

не понял, зачем мне проверять типы в рантайме

может быть потому, что ConfigEnv - порождает Config[Env,Env], а код Config и resolveRec предполагает, что парочка может быть разной)

18:19пожаловаться #15

AO

Paveλ M

это в каком-то смысле ф-ция из типа в тип

ну, обычно же match по констуктору работает

18:19пожаловаться #16

AO

Mikhail

может быть потому, что ConfigEnv - порождает Config[Env,Env], а код Config и resolveRec предполагает, что парочка может быть разной)

может быть, но ConfigEnv нельзя сконструировать таким образом, чтобы парочка была разной

18:19пожаловаться #17

AO

Haskell вот понимает, что если туда приходит ConfigEnv, то те типы обязательно одинаковые

18:20пожаловаться #18

M

Mikhail in Scala User Group

ну, обычно же match по констуктору работает

Нет, match работает по сравнению + unapply. По конструкторам он не работает

18:20пожаловаться #19

AO

Haskell вот понимает, что если туда приходит ConfigEnv, то те типы обязательно одинаковые

вызвать такую функцию как-то по плохому не выйдет