История изменений
Исправление qnikst, (текущая версия) :
Очевидно, что эти в рамках разговора о том что динамика это подмножество статической типизации эти рантайм типы останутся рантайм типами, и никак не влиют на то (если надо то можно сделать что будут влиять), каким типом будет представлено значение из лиспа, и это и будет как раз тот единственный тип предоставляющий value-universe описывающий структуру cons-ячеек + примитивные типы на основе которых и строится рантайм представление значений. При этом чисто на уровне статических типов можно идти и дальше, но это выходит за рамки обсуждаемой темы.
Исходная версия qnikst, :
Очевидно, что эти в рамках разговора о том что динамика это подмножество статической типизации эти рантайм типы останутся рантайм типами, и никак не влиют на то (если надо то можно сделать что будут влиять), каким типом будет представлено значение из лиспа, и это и будет как раз тот тип предоставляющий value-universe описывающий структуру cons-ячеек + примитивные типы на основе которых и строится рантайм представление значений. При этом чисто на уровне статических типов можно идти и дальше, но это выходит за рамки обсуждаемой темы.