Chicken scheme медленноват, но я бы сказал, что алгоритм довольно оригинальный

Почему?

возможно. Есть известная страничка со сравнениями производительности Схем версии r7rs:

http://ecraven.github.io/r7rs-benchmarks/

Потому что куча лишней работы недетерминированного объёма.

вы про сдвиг указателя на вершину стека? Вроде бы это не очень тяжелая операция 😊

Я про "Перед сбросом живые значения из стека перемещаются в кучу для зачистки алгоритмом Чейни".

Это делается редко. Да и разве не должен сборщик мусора в любом случае должен такие вещи делать?

Концепция сборки мусора сама по себе порочна. Чисто там, где не сорят.

в эрланге красиво — принял запрос в сообщении, поработал, грохнул процесс вместе со всей памятью

Так еще в пыхе делали

Несколько замечаний для объективности картины мира.

1. Сейчас даже в файловых системах есть сборка мусора. Потому что так эффективнее. Амортизация, все дела.

2. Ядро ОС собирает мусор за процессами. Без этого можно было бы очень легко устраивать DoS-атаки. Ну, и так просто безопаснее, чем верить в чистоту пользовательского приложения. Даже ATS не даёт 100% гарантий.

3. Сборка мусора позволяет работать с более сложными структурами данных и алгоритмами, что полезно.

Это было бы правдой в мире, где программисты никогда не устают и не ошибаются

Дело не в программистах. В большинстве случаев приходится писать самопальные сборщики мусора, потому что только в runtime известно, когда данные больше не понадобятся. Не всегда самопальное надёжнее и эффективнее сборщика языка. Стандартно делают арены, но арены - такое себе по экономичности и эффективности решение.

Можно сказать, кстати, что и изложенный алгоритм просто совмещает арену для первого поколения мусора со стеком уровня C 😊

а ос каким образом собирает мусор за процессами?

Это файберы, а не процессы я так понимаю.

Пхп появился на ~10 лет позже.

Так мы друг другу не противоречим. Любую логику, определяющую в рантайме, когда данные больше не понадобятся, можно теоретически выразить кучей условий вида if(...) delete x - но это сложно, бажно и дорого в поддержке, поэтому народ и изобретает автоматизированные способы типа арен, умных указателей и т.д.

Ссылки считает. На основе этого подсчёта закрывает файлы, сокеты всякое такое, освобождает страницы в памяти, делает reparenting дочерних процессов, разблокирует мьютексы. И т.д. и т.п.