Это можно было бы через hash таблицы конечно же:
var a = table({ b: 1 })
a.set({ foo: a })
a.set({ foo: table({ foo: a.b }) })

Я может очень плохо объясняюсь, но я начинал с того, что в динамике, в каждом языке есть обобщенное представление типов и любое динамическое значение преставимо в этом виде

Обычно подобный тип будет состоять из следующего:
1. примитивные типы
2. список
3. хеш таблица
4. лябмды
В дополнение там может быть мета-информация для описания runtime "системы типов", информация о полях, наследниках, вхождению в множества. Тут всё определяется лишь желанием выражать определенные ограничения

Туда б ещё ADT сунуть

Для этого весь язык должен это поддерживать, то есть усеть любой объект превращать в Variant ну или хотя бы иметь механизмы рефлексии, что бы это можно было сделать вручную

Кто-нибудь уже делал языки программирования на макросах раста?

warp_dsl, diesel_dsl вот это всё

спасибо, посмотрю)

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

Ну. Вот физики написали себе Julia. Очень ей довольны. Думаю, если целевая аудитория загружена другой математикой, то им заходят динамические языки, потому что не надо вкладывать существенные усилия ещё и в сложную теорию языка (и не интересно, и времени нет). Ещё подтверждения гипотезы: математики написали себе Sage на Python, у числовых теоретиков популярна Scheme, датасаейнтисты сидят в Python, финжиры используют APL.

Кто такие финжиры?

Ну. Вот физики написали себе Julia. Очень ей довольны. Думаю, если целевая аудитория загружена другой математикой, то им заходят динамические языки, потому что не надо вкладывать существенные усилия ещё и в сложную теорию языка (и не интересно, и времени нет). Ещё подтверждения гипотезы: математики написали себе Sage на Python, у числовых теоретиков популярна Scheme, датасаейнтисты сидят в Python, финжиры используют APL.