IK
прочитал про них, посмотрел примеры (какую-то часть)
а как это связано с затиранием?почему типы высшего порядка являются плюсом затирания?
а как это связано с затиранием?почему типы высшего порядка являются плюсом затирания?
наоборот
Size: a a a
2020 November 25
В
😅сорре
IK
если бы JVM не стирала их, то скала бы свою модель не смогла бы засунуть в JVM
В
тема сложная, сразу видно. но очень хочется понять
В
если бы JVM не стирала их, то скала бы свою модель не смогла бы засунуть в JVM
почему?
IK
почему?
потому что в JVM все HTK превращаются в тыкву (Object, Any)
В
потому что в JVM все HTK превращаются в тыкву (Object, Any)
а, ну это да
IK
если бы этого превращения не было, во что тогда превращать HKT, если там нет концепции как таковой?
E
кто работал со сликом: подскажите, пожалуйста, как пользоваться
asColumnOfType? как должен выглядеть этот имплисит, который он просит?SA
Чем отличается
У меня получилась реализация функции, которая с первым вариантом компилируется, а со вторым - нет
def fun[F[_], A](f: F[A]) от def fun[F[_]](f: F[_]) ?У меня получилась реализация функции, которая с первым вариантом компилируется, а со вторым - нет
Oℕ
прочитал про них, посмотрел примеры (какую-то часть)
а как это связано с затиранием?почему типы высшего порядка являются плюсом затирания?
а как это связано с затиранием?почему типы высшего порядка являются плюсом затирания?
Потому что если и можно сделать язык, в котором есть хкт и тайппараметры типов не стираются, я о таком не сшылал
В
Потому что если и можно сделать язык, в котором есть хкт и тайппараметры типов не стираются, я о таком не сшылал
без стирания параметров типов сделать хкт невозможно?
если их стирание как-то способствует хкт, то как?
если их стирание как-то способствует хкт, то как?
Oℕ
без стирания параметров типов сделать хкт невозможно?
если их стирание как-то способствует хкт, то как?
если их стирание как-то способствует хкт, то как?
не невозможно, но в языках общего назначения с широким набором средств достаточно сложно, чтобы никто не делал
В
спасибо
Oℕ
без стирания параметров типов сделать хкт невозможно?
если их стирание как-то способствует хкт, то как?
если их стирание как-то способствует хкт, то как?
Ну что значит "стирание"
Oℕ
Значит, что к чему бы ни был применён тайп-конструктор, вы получите одно и то же, так?
В
Ну что значит "стирание"
насколько я понимаю, например когда Map[String, Int] после компиляции превращается в Map<Object, Object>
насколько я понял это дело
насколько я понял это дело
В
Значит, что к чему бы ни был применён тайп-конструктор, вы получите одно и то же, так?
да, вроде да
AS
Народ, может кто-нть накинуть статей/примеров кода про использование "literal singleton types" в Scala.
Гугление не помогает чот - находится чот странное и не совсем похожее на SIP-23
Будет особенно круто если там будет про refined либу.
Гугление не помогает чот - находится чот странное и не совсем похожее на SIP-23
Будет особенно круто если там будет про refined либу.
Oℕ
Получается в любом генерике можно при трансляции в низкоуровневый код заменить все хк тайп параметры на обычные и рантайм этого не заметит