EG
Но меня смутила эта фраза
> uses a series of data-flow analyses to statically approximate heap liveness
> uses a series of data-flow analyses to statically approximate heap liveness
Size: a a a
2020 May 27
EG
Звучит как что-то приблизительное
DS
Инлайнить всю программу... Это мощно конечно. Учитывая что ты расставляешь лайфтаймы и потом выкидывает этот код.
Ну современные компиляторы очень агрессивны в инлайне, так что в небольших программах оно почти так и выходит
p
Ну инлайнит в основном бекенд, а чекать лайфтаймы нужно в фронтенде
DS
Ну инлайнит в основном бекенд, а чекать лайфтаймы нужно в фронтенде
Не обязательно
p
Хотя хз можно и в бекенде но нынешние бекенды такого не делают
DS
В GHC фронтенд аггресивен в инлайнах
EG
В GHC вместо компилятора чёрная магия
DS
Хотя тайпчек до него идёт, конечно
p
А писать свой бекенд это кмк очень сложно
DS
В GHC вместо компилятора чёрная магия
Там всё более-менее просто в плане оптимизаций до STG
p
Поэтому нужно отталкиваться от того что бекенд не умеет чекать лайфтаймы
EG
Там семантика происходящего практически никак не мапится на физику
EG
Например, неочевидно «как в памяти выглядит список»
EG
(В общем случае никак, понятно)
VS
На самом деле можно было жить и без этой ерунды, если ты язык был бы с каким-нибудь whole program optimizer и partial evaluation повсюду
Ну глянь репу змейки. Ну позязя. Я там под ФП переделал. Я тебе пиво за свой счет проставлю за это. Когда соберёмся. БТВ, надо окончание короновируса собраться и отметить. Ты это, приходи с Жуковским. Бухнем за здравие 😁
DS
Ну глянь репу змейки. Ну позязя. Я там под ФП переделал. Я тебе пиво за свой счет проставлю за это. Когда соберёмся. БТВ, надо окончание короновируса собраться и отметить. Ты это, приходи с Жуковским. Бухнем за здравие 😁
Я просто ссылку потерял на неё
p
Хм, а стоит ли хранить информацию о типе объекта в объекте? Допустим у меня есть объект - числовой литерал 10. Стоит ли хранить информацию о том что этот объект имеет тип 10? Или просто по требованию создавать тип когда это нужно.
DS
Хм, а стоит ли хранить информацию о типе объекта в объекте? Допустим у меня есть объект - числовой литерал 10. Стоит ли хранить информацию о том что этот объект имеет тип 10? Или просто по требованию создавать тип когда это нужно.
В рантайме?
EG
Хм, а стоит ли хранить информацию о типе объекта в объекте? Допустим у меня есть объект - числовой литерал 10. Стоит ли хранить информацию о том что этот объект имеет тип 10? Или просто по требованию создавать тип когда это нужно.
Ящитаю, что в рантайме не надо