Исправление den73, (текущая версия) :
В лиспе есть тип t, который объемлет всё, поэтому этой проблемы нет (правда, за счёт этого лисп медленнее). Отвечаю на следующий вопрос: в лиспе есть типизированные указатели, поэтому цена не очень велика. Реальная цена состоит в том, что тип любого объекта известен в runtime, даже если на него указывает void*. Целое число содержит несколько фиксированных бит (тег типа) и доступный диапазон целых чисел получается меньше, чем в Си. Правда, в лиспе есть bignum-ы неограниченной точности, и при переполнении fixnum превращается в bignum .
Исправление den73, :
В лиспе есть тип t, который объемлет всё, поэтому этой проблемы нет (правда, за счёт этого лисп медленнее). Отвечаю на следующий вопрос: в лиспе есть типизированные указатели, поэтому цена не очень велика. Реальная цена состоит в том, что тип любого объекта известен в runtime, даже если на него указывает void*. Целое число содержит несколько фиксированных бит (тег типа) и фактическая размерность получается меньше, чем в Си.
Исходная версия den73, :
В лиспе есть тип t, который объемлет всё, поэтому этой проблемы нет (правда, за счёт этого лисп медленнее).