Update

mattqual · mattqual · commit 3e6b3abc544c · 2025-05-27T08:50:16.000-03:00
diff --git a/TODO b/TODO
@@ -1,5 +1,6 @@
 - [ ] Terminology
 - [ ] Types
+- [ ] Nullability
 - [ ] Packages
 - [ ] Namespaces
 - [ ] Classes
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -1,4 +1,24 @@
 # Summary
 
 - [Overview](./overview.md)
-  - [What has changed from ActionScript 3](./overview/as3-changes.md)
+  - [What has changed from ActionScript 3](./overview/as3-changes.md)
+- [Terminology](./terminology.md)
+- [Types](./types.md)
+  - [Wildcard](./types/wildcard.md)
+  - [void](./types/void.md)
+  - [null](./types/null.md)
+  - [String](./types/string.md)
+  - [Boolean](./types/boolean.md)
+  - [Number](./types/number.md)
+  - [BigInt](./types/bigint.md)
+  - [float](./types/float.md)
+  - [decimal](./types/decimal.md)
+  - [int](./types/int.md)
+  - [uint](./types/uint.md)
+  - [Array](./types/array.md)
+  - [Map](./types/map.md)
+  - [Tuple](./types/tuple.md)
+  - [Structural function](./types/structural-function.md)
+  - [Structural object](./types/structural-object.md)
+  - [Union](./types/union.md)
+  - [Object](./types/object.md)
diff --git a/src/_BASE/types.md b/src/_BASE/types.md
diff --git a/src/terminology.md b/src/terminology.md
@@ -0,0 +1 @@
+# Terminology
diff --git a/src/types.md b/src/types.md
@@ -0,0 +1 @@
+# Types
diff --git a/src/types/array.md b/src/types/array.md
@@ -0,0 +1,7 @@
+# Array
+
+The `Array.<T>` type, abbreviated `[T]`, represents a growable list of elements.
+
+## Numeric optimization
+
+`[T]` is optimized for when `T` is a number type; for instance, `[uint]` will use a growable buffer optimized specifically for 32-bit unsigned integers.
diff --git a/src/types/bigint.md b/src/types/bigint.md
@@ -0,0 +1,3 @@
+# BigInt
+
+The `BigInt` type represents an arbitrary range integer.
diff --git a/src/types/boolean.md b/src/types/boolean.md
@@ -0,0 +1,3 @@
+# Boolean
+
+The `Boolean` type consists of the values `false` and `true`.
diff --git a/src/types/decimal.md b/src/types/decimal.md
@@ -0,0 +1,3 @@
+# decimal
+
+The `decimal` type represents an IEEE 754 quadruple-precision floating point (binary128).
diff --git a/src/types/float.md b/src/types/float.md
@@ -0,0 +1,3 @@
+# float
+
+The `float` type represents an IEEE 754 single-precision floating point.
diff --git a/src/types/int.md b/src/types/int.md
@@ -0,0 +1,3 @@
+# int
+
+The `int` type represents a signed 32-bit integer.
diff --git a/src/types/map.md b/src/types/map.md
@@ -0,0 +1,26 @@
+# Map
+
+The `Map.<K, V>` type represents a hash map.
+
+```
+Map.<K, V>
+```
+
+> **Note:** Property access on a `Map` equals data access. Method call on a `Map` equals a `Map` method use.
+
+## Instance usage
+
+```
+const map = new Map.<String, Number>();
+
+// x=10
+map.x = 10;
+
+const fns = new Map.<String, Function>();
+
+// m=function
+fns.m = function() { return 10 };
+
+// m()
+trace(fns.call("m"));
+```
diff --git a/src/types/null.md b/src/types/null.md
@@ -0,0 +1,3 @@
+# null
+
+The null type, not expressed in a type annotation, consists of the `null` value.
diff --git a/src/types/number.md b/src/types/number.md
@@ -0,0 +1,3 @@
+# Number
+
+The `Number` type represents an IEEE 754 double-precision floating point.
diff --git a/src/types/object.md b/src/types/object.md
@@ -0,0 +1,13 @@
+# Object
+
+All types but \{ `void`, `null`, `uint`, `int`, `float`, `Number`, `decimal`, `BigInt`, `Boolean` \} represent referenceable objects that may be `null`. The `Object` class is inherited by all types but \{ `*`, `void`, `null`, union \}.
+
+<blockquote>
+
+**Note**: When it is necessary to read the constructor of an object, use:
+
+```
+Reflect.constructor(obj)
+```
+
+</blockquote>
diff --git a/src/types/string.md b/src/types/string.md
@@ -0,0 +1,11 @@
+# String
+
+The `String` type represents an UTF-8 encoded character sequence.
+
+> **Note**: the `.length` property of a String equals the byte total, and the `.chars().length()` method of a String equals the Code Point total.
+
+## Nullability
+
+Even though it is a primitive type, the `String` type may be assigned `null` to indicate absence of value, as it is a reference type.
+
+> **Note**: `null` and `""` are two different values. You may test for both through using `String` as a falsy condition.
diff --git a/src/types/structural-function.md b/src/types/structural-function.md
@@ -0,0 +1,13 @@
+# Structural function
+
+Structural function types inherit from `Function`, taking the form `function(...) : E`.
+
+```
+function(T1, T2=, ...[T3]):E
+```
+
+A structural function type may specify:
+
+- zero or more required parameters (`T`) followed by
+- zero or more optional parameters (`T=`) followed by
+- a rest parameter (`...[T]`).
diff --git a/src/types/structural-object.md b/src/types/structural-object.md
@@ -0,0 +1,42 @@
+# Structural object
+
+Structural object types, `{ ... }`, are simple property records, whose field order and ASDoc comments are sensitive. Those types are compiled into efficient structures.
+
+```
+{ x : decimal, y : decimal }
+
+{
+    /** x */
+    x:Number,
+
+    /** y */
+    y?:Boolean,
+}
+```
+
+## Field order
+
+Due to sensitive field order, structural object types with equivalent fields but in different orders will be incompatible.
+
+## ASDoc
+
+Due to sensitive ASDoc comments, structural object types with equivalent fields (including their order) but differing ASDoc comments in their fields will be incompatible.
+
+## Compatibility
+
+Two structural object types are compatible only if either a\) one is used as a subset of another or b\) fields are equivalent and consist of the same order and the same ASDoc comments.
+
+## Rest
+
+`...rest` components may appear, where `rest` must be another structural object type; the resulting type may be a subtype of `rest` depending on whether properties do not collide and there is only one rest component.
+
+```
+// A
+type A = { x:Number };
+// B
+type B = { y:Number, ...A };
+// U
+type U = { ...W, ...B };
+// W
+type W = { z:Number };
+```
diff --git a/src/types/tuple.md b/src/types/tuple.md
@@ -0,0 +1,7 @@
+# Tuple
+
+Tuple types, of the form `[T1, T2, ...TN]`, are immutable sequences consisting of known element types at compile time. A tuple type contains at least two elements.
+
+```
+[Boolean, float]
+```
diff --git a/src/types/uint.md b/src/types/uint.md
@@ -0,0 +1,3 @@
+# uint
+
+The `uint` type represents an unsigned 32-bit integer.
diff --git a/src/types/union.md b/src/types/union.md
diff --git a/src/types/void.md b/src/types/void.md
diff --git a/src/types/wildcard.md b/src/types/wildcard.md

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+# BigInt`
	`2`	`+`
	`3`	+The `BigInt` type represents an arbitrary range integer.
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+# Boolean`
	`2`	`+`
	`3`	+The `Boolean` type consists of the values `false` and `true`.
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+# decimal`
	`2`	`+`
	`3`	+The `decimal` type represents an IEEE 754 quadruple-precision floating point (binary128).
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+# float`
	`2`	`+`
	`3`	+The `float` type represents an IEEE 754 single-precision floating point.