Макет памяти в штучной упаковке и unboxed ints?

Question

Я понимаю, что значение Int является указателем на thunk (double intirection), а unboxed Int # - это просто указатель на 32/64 бит int. Это верно? Как указатель кодирует тот факт, что он ссылается на unboxed значение?

В заявлении Haskell standard указано, что Int является «целым числом с фиксированной точностью, по крайней мере с диапазоном [-2^29 .. 2^29-1]». Есть ли какая-то оптимизация в GHC, где эти дополнительные биты используются для устранения ограничений?

Answer 1

GHC documentation имеет хорошую информацию. Но в принципе, вы правильно говорите, что значение Int является указателем на thunk. Однако значение unboxed не является указателем на значение unboxed, оно - это самораспакованное значение. Кроме того, стандартный отчет Haskell дает только нижний предел диапазона Int. IIRC, GHC Int имеют более 30 бит.

Я не думаю, что GHC использует дополнительные биты unboxed типов для хранения любых метаданных, но для этого используется бит указателей. См. Страницу this для получения более подробной информации.