DF
Ну ето просто рц + гц
Size: a a a
2020 January 10
DF
Для циклов
OA
так вот "рц" просто - это не совсем гц потому что для циклов нужны викрефы.
AZ
короче, я имел в виду что есть "рц" а есть "рц гц"
AZ
нашел
OA
а "рц гц" - это без викрефов, прямо как трейсинг-гц, только не трейсинг, а на основе поиска циклов
OA
почитаю
NL
там есть про доказательство Бейкера что refcount GC и tracing GC формально эквивалентны?
Возможно.
17.1 Mostly-concurrent copying: Baker's algorithmAZ
а "рц гц" - это без викрефов, прямо как трейсинг-гц, только не трейсинг, а на основе поиска циклов
тлдр на затравку:
We initially started with the assumption that the solution would take the form of automatic ref counting (so the programmer couldn't forget) plus some other stuff to detect and handle cycles automatically. We looked at adding conservative collection or tracing to the mix, GC algorithms that could collect a single object without doing an entire graph trace, etc. For a variety of reasons (more on this below), we ultimately concluded that this was not going to work in the general case.
We initially started with the assumption that the solution would take the form of automatic ref counting (so the programmer couldn't forget) plus some other stuff to detect and handle cycles automatically. We looked at adding conservative collection or tracing to the mix, GC algorithms that could collect a single object without doing an entire graph trace, etc. For a variety of reasons (more on this below), we ultimately concluded that this was not going to work in the general case.
S
но вообще если что-то плюс минус сложное писать на питоне, то mypy лучше обмазаться
но вообще если что-то плюс минус сложное писать на питоне, то haskell лучше обмазаться
VS
they want to argue about terminology
This
AZ
Я снова забыл кто за седсаба отвечает
AZ
это нереально же, надо его перехостить
AZ
дайте гитхаб хоть
AZ
AZ
неплохой стендап
AZ
про тесты