EG
Казалось бы
Size: a a a
2020 March 08
AZ
тайпкласс с двумя генерик аргументами, каждый из которых в свою очередь генерик от одного аргумента
B
типо в хаскеле есть
class LOL f g
это аналог?
class LOL f g
это аналог?
DS
Это очень ограниченная реификация и она кардинально отличается от того, что в дотнете под этим понимают и как оно там работает
AZ
типо в хаскеле есть
class LOL f g
это аналог?
class LOL f g
это аналог?
ну хаскель тебе эту сигнатуру выведет, да
B
а во что оно в JVM компилится? в интерфейс?
B
это же отношения между двумя типами, это не выразимо в джавке
AZ
типо в хаскеле есть
class LOL f g
это аналог?
class LOL f g
это аналог?
DS
AZ
это же отношения между двумя типами, это не выразимо в джавке
ну так в жабке генерики это обжект получаешь
interface Arrow {
object apply(object f)
}B
ну один фиг ты с джавы не вызовешь их по человечески
B
по этому аналогично и для релизации под дотнет можно забить
AZ
ну один фиг ты с джавы не вызовешь их по человечески
эм, вот явыше напписал
AZ
из жабы это будут обжекты, вызываешь спокойно
B
эм, вот явыше напписал
ну там где-то будет лежать импл
B
ану, щас потестирую
DS
по этому аналогично и для релизации под дотнет можно забить
Проблема в том, что если так компилить, то все плюсы дотнетовского рантайма тоже убираются.
Ну и зачем тогда оно нужно?
Ну и зачем тогда оно нужно?
B
(не потестирую, плагин на скалу не утсановлен)
DS
Потому что если бегать со стертыми типами, то джавовый рантайм будет быстрее точно
B
в дотнет рантайме есть tailcall, кстати!