diff options
| -rw-r--r-- | doc/0/0-value.md | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/0/0-value.md b/doc/0/0-value.md index 2b9a858..57e593d 100644 --- a/doc/0/0-value.md +++ b/doc/0/0-value.md @@ -128,15 +128,15 @@ The empty list is canonically represented with a null payload value, i.e., zero length, cleared GC metadata bits, and zero index value. Lists of this type can double as generic *tuple* types since they are packed in -a maximally efficient way. For instance, a *box* type of a single explicitly -heap-allocated Value, a *pair* type of exactly two Values, and a variety of -*struct* types of fixed Value counts could be implemented by this type. +a maximally efficient way. For instance, a *box* type of a single shared and +mutable Value, a *pair* type of exactly two Values, and a variety of *struct* +types of fixed Value counts could be implemented simply by this type. ### Heap pointers -Other heap objects are allocated within their own virtual memory region, using -the low 32 bits of the payload as an index value as well, meaning this region -can occupy another 32 GiB of memory. +Various objects are allocated within a generic heap region of virtual memory, +using the low 32 bits of the payload as an index value as well, meaning this +region can occupy another 32 GiB of memory. Objects in the main heap may have an alignment greater than 8 bytes. We could exploit this to support larger heaps, treating the heap as, for instance, slots |