Односвязный список. Замкнулся или нет?

[_Ivana]

Хуже того - если воспринимать односвязный список как абстрактный тип данных, реализующий конструктор и геттеры головы/хвоста, при соблюдении нужных инвариантов (типа head (cons a b) == a), то вопрос «где находится» объект вообще не имеет смысла. Потому что нет ни модели линейной адресации памяти, ни вообще памяти как таковой.

[EUgeneUS]

_Ivana

Хмм. Видимо, не зря прозвучало слово "указатель". По условию задачи указатели есть. Конечно, это не имеет отношение к абстракции односвязного списка, что Вы убедительно продемонстрировали.