summaryrefslogtreecommitdiff
path: root/docs/type_system/shared.md
diff options
context:
space:
mode:
authornodist <kevin.comas.git@gmail.com>2026-05-24 17:24:28 -0400
committernodist <kevin.comas.git@gmail.com>2026-05-24 17:24:28 -0400
commita9e4e9f0167ed344e55ba298928a575cabb1de0d (patch)
tree040b8d389b6822a575d6bd8c74c0aa6773459dcf /docs/type_system/shared.md
parenta41e83e6a28d17e41fcf90c4d39003a06fa9ba51 (diff)
add format string example
Diffstat (limited to 'docs/type_system/shared.md')
-rw-r--r--docs/type_system/shared.md28
1 files changed, 27 insertions, 1 deletions
diff --git a/docs/type_system/shared.md b/docs/type_system/shared.md
index 3982b5e..54c9dc5 100644
--- a/docs/type_system/shared.md
+++ b/docs/type_system/shared.md
@@ -3,7 +3,33 @@
---
```text
-Shared_collector `alias Enum[.counting; .tracing]
+Shared_collector `alias Enum[.unknown; .counting; .tracing]
Shared[Shared_collector; TYPE]
+
+Shared[TYPE] // Resolves to Shared[.unknown; TYPE]
+```
+
+# Garbage Collection Method
+
+```text
+Shared[TYPE]
+```
+
+## Unknown
+
+Counting or tracing will determined later on
+
+## Counting
+
+## Tracing
+
+# Mutating
+
+```text
+x : Shared[Vector] $ (1; 2; 3)
+^ x {
+ y `push 4
+}[y]
+`log x // Shared[.counting; Vector[I64]] $ (1; 2; 3; 4)
```