главней только боатс

Да ладно?

А какой у нее тип?

клабник один из кортимы, с Нико, боатсом и еще несколькими, менее голосистыми ребятами

Функтор же обычно дженерик параметр имеет

Вот етот тип мне интересно

(->) a b

два генерик параметра

если фиксируешь один или другой получаешь Reader или Writer соответственно

Спасибо

Tracing GC: хз где сколько поинтеров, нужно сканить весь хип. Т.е. происходит полностью асинхронно с основной логикой.

RC: ведется счетчик ссылок, на каждый релиз делается проверка и дроп. На weak ref нужно еще по табличке сходить и этим рефам нули вписать. Более предсказуемо чем GC, но все равно у тебя в случайных местах может быть просир кешей.

Borrowck: ведется статический учет лайфтаймов. Шарить мутабельно нельзя (в отл. от GC/RC). Дропы в предсказуемом месте. Функционал самый ограниченный, но полная предсказуемость и минимальный кост.

Free/malloc: просто не забываем освобождать память только где нужно и когда нужно. Шарить можно сколько угодно. Предсказуемый перформанс не считая сегфолтов.

operator new() забыл

Кек

Ждал ждал, когда же в холиваре появится ссылка на гц-бук, так и не дождался. Придётся мне:
http://gchandbook.org
Там вся терминология и кишочки. А Клабник жонглёр терминами и путаник людей, вотъ

Клабник рубист кек

самая быстрая программа это программа с сегофолтом!

Сентрила забыл

там есть про доказательство Бейкера что refcount GC и tracing GC формально эквивалентны?

мне вот интересно почему никто не строил refcount GC с тем же упорством что JVM где tracing

главное успеть выдать какой-нить полезный результат