> это вы описали свои желания по вашей реализации рефала?

Ну как, желания.) В Базисном Рефале приходится определять вспомогательные функции, из-за них код выглядит сложнее. Ещё Турчин в своё время добавил в язык условия и блоки, по сути это вложенные функции, но не возвращаемые. Ограничение искусственное, естественно, что его давно убрали в Рефал-5λ.

> я сам не
> специалист по сборке мусора, но когда то я интересовался guile и
> перевел немного документации по нему, то что меня интересовало, в частности
> подоробности реализации.

Спасибо. Адский труд, который мало кто ценит (потому что "учите английский").

> так вот сам guile не реализует сборку мусора, а
> использует стороннюю библиотеку. как это делается в документации описано, если хотите
> почитать https://github.com/IisNuINu/guile-2.2.3-doc-rus там есть  pdf файл. вам как

Нашёл там только интерфейс. Сам сборщик (консервативный "пометить и подмести") вкратце описан https://www.gnu.org/software/guile/manual/html_node/Conserva... и далее по ссылке.

Но дело не в написать сборщик. В Рефале данные туда-сюда перетасовываются, потому память (традиционно) организована в двусвязный список. Часть его содержит аргументы функции (т.н. Поле Зрения), в другой части формируется результат (который становится ПЗ для следующей функции). Когда поле зрения просмотрено, оно автоматически становится свободным. Скажем, 100000 элементов списка удаляются за время O1, но в них требуется поискать "мусор"... в этом месте у меня начинает подгорать.

> разработчику интерпретатора возможно будет интересно ознакомиться с опытом разаработчиков
> guile. (сам бы я за такую работу не взялся).

Пока это на уровне баловства и экспериментов. Guile по плану на уровне сэм-восэм, где-то так.