3 ms·

ok, now explain how this " conflate memory layout and type definitions"

• Dylan16807 3y ago
  It sticks a bool onto each value, directly attached in memory layout, taking up a byte plus padding bytes, multiplied by how many values you have. (The compiler is allowed to improve this, but it won't.)
  • morelisp 3y ago
    The compiler is only vaguely allowed to do this by general "as if" rules; in practice there are so many formal constraints on field layout I don't think it could do better even with the world's most brilliant optimizer. It would need to behave "as if" if the two fields are laid out next to each other, in address-ascending order, with nothing but padding in between.