functionalscript 0.0.385 → 0.0.386

package/doc/vm.md

@@ -1,60 +1,60 @@
 # VM
 
-## Tagged Pointers
+[Tagged Pointer](https://en.wikipedia.org/wiki/Tagged_pointer).
 
-https://en.wikipedia.org/wiki/Tagged_pointer
-
-### Common (3 bit)
+## Common (3 bit)
 
 - `false`
 - `true`
 - `undefined`
 - `""`
-- `-infinity`
 - `+infinity`
+- `-infinity`
 - `-0`
 - `NaN`
 
-### 32 bit platform
-
-- `31` bigInt31 (-1_073_741_824..1_073_741_823)
-- `31`:
-  - `30`: pointer + null, alignment - 4 bytes.
-  - `30`:
-    - `29`:
-      - `28`: 4 x 7 bit string
-      - `28`: 2 x 14 bit string
-    - `29`:
-      - `28`: int28 (-134_217_728..134_217_727)
-      - `28`:
-        - `27`: 3 x 9 bit string
-        - `20`: a UTF-16 surrogate pair
-        - `16`: 1 x 16 bit string
-        - `3`: common
+## 6-bit Id String
+
+|symbol  |code          |# |sum|
+|--------|--------------|--|---|
+|`$`     |`\x24`        | 1|  1|
+|`0`..`9`|`\x30`..`\x39`| A|  B|
+|`A`..`Z`|`\x41`..`\x5A`|1A| 25|
+|`_`     |`\x5F`        | 1| 26|
+|`a`..`z`|`\x61`..`\x7A`|1A| 40|
+
+## 64 bit platform
+
+Alignment: 8 bytes.
 
-### 64 bit platform
+Pointer: 2^64 / 2^3 = 2^61 bit
+
+### Value
 
 - `63`: 9 x 7 bit string
 - `63`:
-  - `62`:
-    - `61`: pointer + null, alignment - 8 bytes
-    - `61`: float61
-  - `62`:
+  - `61`: pointer + null, alignment - 8 bytes
+  - `61`:
+    - `60`: 4 x 15 bit string
+    - `60`: 10 x 6 bit string
+  - `61`:
     - `60`: 6 x 10 bit string
     - `60`: 5 x 12 bit string
-    - `60`: 4 x 15 bit string
+  - `61`
+    - `60`: float60
     - `60`:
       - `59`: bigInt59 (-576_460_752_303_423_488..576_460_752_303_423_487)
       - `59`:
         - `56`: 8 x 7-bit string
         - `56`: 7 x 8-bit string
+        - `53`: int53
+        - `53`: stringUInt53
         - `48`: 3 x 16 bit string
         - `32`: 2 x 16 bit string
-        - `32`: int32
         - `16`: 1 x UTF16 string
         - `3`: common
 
-### Float64
+## Float64
 
 https://en.wikipedia.org/wiki/Double-precision_floating-point_format
 
@@ -75,62 +75,91 @@ https://en.wikipedia.org/wiki/Double-precision_floating-point_format
 |111_1111_1111|F = 0: signed infinities|
 |             |F != 0: NaN             |
 
-### Float61
+## Float60
 
 - 1 bit - sign
-- 8 bit - exponent
+- 7 bit - exponent
 - 52 bit - fraction
 
-|E        |Description|
-|---------|-----------|
-|0000_0000|E = 2^-127 |
-|...      |           |
-|0111_1111|E = 2^0    |
-|1000_0000|E = 2^1    |
-|...      |           |
-|1111_1111|E = 2^128  |
+|E       |Description|
+|--------|-----------|
+|000_0000|E = 2^-63  |
+|...     |           |
+|011_1111|E = 2^0    |
+|100_0000|E = 2^1    |
+|...     |           |
+|111_1111|E = 2^64   |
+
+Note: the type has no `+0`, `-0`, `+inf`, `-inf`, `NaN`.
 
 ## Object Structure
 
-- type&counter: 32 + float64: 64
-- type&counter: 32 + int32: 32
-- type&counter: 32 + object: len: 32 + payload
-- type&counter: 32 + array: len: 32 + payload
-- type&counter: 32 + function: 32 + 32
-- type&counter: 32 + string: len: 32 + payload
-- type&counter: 32 + bigint: len: 32 + payload
-
-minimal size: 64 bit = 8 byte. It means that a number of objects can't be more than 2^(32-3) on 32-bit platform and 2^(64-3) on 64-bit platform.  
-counter: 
-- 32 - 3 = 29 bit,
-- 64 - 3 = 61 bit.
-
-Max length of JS string/array/object can't be bigger that 2^53-1
-
-## Type
-
-- 000 float64
-- 001 string
-- 010 object
-- 011 array
-- 100 function
-- 101 bigint
-- 110 int32
-- 111 ...
-
-## Type & counter
-
-|field  |x32   |x64   |
-|-------|------|------|
-|type   |29..31|61..63|
-|counter|0..28 |0..62 |
-
-## Using Pools for small objects
-
-|type        |size on x32|size on x64|
-|------------|-----------|-----------|
-|float64     |4+8 = 12   |8+8 = 16   |
-|function    |4+4 = 8    |8+8 = 16   |
-|int32       |4+4 = 8    |8+4 = 12   |
-|empty object|4+4 = 8    |8+8 = 16   |
-|empty array |4+4 = 8    |8+8 = 16   |
+Value Size = 8
+Counter size = max_memory_size / value_size.
+
+### Type
+
+- `000`: double
+- `001`: string
+- `010`: array
+- `011`: object
+- `100`: bigInt
+- `101`: function
+- `110`:
+- `111`:
+
+### Type & Counter
+
+- AtomicUSize:
+  - `3`: type
+  - `...`: counter
+
+### String
+
+```rust
+struct String {
+  length: u32,
+  array: [u16; self.length],
+}
+```
+
+### Function
+
+```rust
+struct Function<length: u32> {
+  func: pointer,
+  array: [value; length]
+}
+```
+
+### BigInt
+
+```rust
+struct BigInt {
+  length: u32,
+  array: [u64; self.length],
+}
+```
+
+### Array
+
+```rust
+struct Array {
+  length: u32,
+  array: [Value; self.length],
+}
+```
+
+### Object
+
+```rust
+struct Object {
+  length: u32,
+  array: [(Value, Value), self.length],
+  indexArray: [u32, (self.length * log2(self.length) + 31) / u32],
+}
+```
+
+Note: see https://262.ecma-international.org/6.0/#sec-ordinary-object-internal-methods-and-internal-slots-ownpropertykeys and https://262.ecma-international.org/6.0/#sec-object-type
+
+An integer index for Node.js, Deno and Bun means a value from `0` to `4294967294` including. 4_294_967_294 = 0xFFFF_FFFE. But an integer index in the ES6 standard is +0..2^53-1.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.0.385",
+  "version": "0.0.386",
   "description": "FunctionalScript is a functional subset of JavaScript",
   "main": "module.f.cjs",
   "scripts": {