Цитата Сообщение от elf/2
что такое указатель когда мы работаем в ассемблере? нет там такого типа данных...
Нету.
Цитата Сообщение от elf/2
поэтому хотелось бы увидеть как реализуются указатели и какие операции для них определены
Вот именно этот вопрос и хотелось обсудить с самого начала. Применительно к сборке мусора.

С абстрактной точи зрения указатель - это (должен быть) непрозрачный тип данных. Основная операция - разыменование. Прочие операции - присвоение, проверка на равенство\неравенство, в том числе нулевому указателю, выделение памяти с получением указателя на выделенную память.
Цитата Сообщение от elf/2
все еще мечтаю увидеть как будет лежать в памяти односвязный список из двух элементов
Поэтому здесь ответ зависит от низкоуровневого представления указателя, по поводу чего нет консенсуса среди меня.