DS
чтобы let x=x вешало компилятор
Так оно не вешает компилятор.
Size: a a a
2020 May 27
SP
ну рантайм
S
3sat вешает
S
Проверено
DS
ну рантайм
Зато можно писать let fix f = f (fix f)
p
Какие фичи планируешь ?
вообще хочу попробовать сделать завтипы с полным стиранием в рантайме
DS
вообще хочу попробовать сделать завтипы с полным стиранием в рантайме
А, тогда ХМ тебе не нужен
DS
В общем случае, вывод типов в пристутствии зав типов становится undecidable
SP
завуч, завхоз, завкаф, завтип
DS
Но для частных слуаев его можно сделать
S
вообще хочу попробовать сделать завтипы с полным стиранием в рантайме
Lame
S
Прощай производительность
S
Кста
p
Прощай производительность
почему
S
почему
Везде боксинг будет
S
Лол
S
Это по сути any с предикатами в рантайме
p
Везде боксинг будет
почему
p
S
почему
Это по сути any с предикатами в рантайме