nomen-lang 0.1.0 → 0.2.0

package/NOMEN_AGENTS.md

@@ -100,7 +100,7 @@ func safe = (string[] s, int i: i >= 0 && i < s.length, out string) {
 | -------- | ---------------------------------------------- |
 | `ref T`  | mutable borrow; caller must also write `ref`   |
 | `view T` | read-only borrow                               |
-| `mov T`  | transfer ownership; caller writes `mov`        |
+| `move T` | transfer ownership; caller writes `move`       |
 | `out T`  | output parameter, assigned inside the function |
 
 `const` values cannot be passed to `ref` — rebind the caller as `var` first.
@@ -150,10 +150,10 @@ declarations, so never import a sibling. Only cross-namespace references
 Failures are signalled via return values — nullable results, status structs,
 or boolean + out-parameter pairs. There is no `throw`/`try`/`catch`.
 
-`Result<T, E>` is declared `strict`: a call returning it must bind or match
+`Result<T, E>` is declared `must_use`: a call returning it must bind or match
 the value (`var _ = f.close()` to discard deliberately; a bare `f.close()`
 statement is a compile error). Any enum or bitset can opt into this with the
-`strict` modifier.
+`must_use` modifier.
 
 ## Tests
 

package/core/System/Buffer.nm

@@ -445,11 +445,11 @@ pub struct Buffer<T> {
 	}
 
 	// Move a value out of a T_SIZE-sized slot: return it and zero the slot so the
-	// buffer no longer holds a (possibly owning) copy. Declared `mov out T` so
+	// buffer no longer holds a (possibly owning) copy. Declared `move out T` so
 	// the result is treated as OWNED by the borrow checker — the slot is
 	// relinquished, so the caller is the sole remaining owner. The value
 	// counterpart of ClassBuffer.move_int — used by List.pop for any value T.
-	inline func move_T = (ref self, int i: i >= 0 && i < self.cap, mov out T) {
+	inline func move_T = (ref self, int i: i >= 0 && i < self.cap, move out T) {
 		```
 		#arch: c
 		T* _slots = (T*)(unsigned long long)self->data;

package/core/System/Channel.nm

@@ -218,7 +218,7 @@ pub class Channel: Sendable {
 	// (the node's copy is moved out — the payload leaves the channel, and a
 	// second receive of the same message is not possible). The fat (ptr, len)
 	// pair survives intact. Pair with send_string.
-	pub func receive_string = (self, mov out string) {
+	pub func receive_string = (self, move out string) {
 		```
 		#arch: c
 		pthread_mutex_lock((pthread_mutex_t *)self->mu);

package/core/System/ClassBuffer.nm

@@ -175,14 +175,14 @@ pub struct ClassBuffer<T> {
 	}
 
 	// Move a class pointer out of a slot: return it and zero the slot so the
-	// buffer no longer references it. Declared `mov out T` so the borrow
+	// buffer no longer references it. Declared `move out T` so the borrow
 	// checker treats the result as OWNED — the slot is relinquished, so the
 	// caller is the sole remaining owner. This is the owning-extract primitive
 	// (parallel to List.pop); use it (not load_T) when transferring ownership
 	// out of a ClassBuffer slot, or moving a value into a fresh owning
 	// container — load_T returns a BORROW (the slot is unchanged) and storing
 	// it elsewhere would create shared ownership (double-free at destroy).
-	inline func move_T = (ref self, int i: i >= 0 && i < self.cap, mov out T) {
+	inline func move_T = (ref self, int i: i >= 0 && i < self.cap, move out T) {
 		```
 		#arch: c
 		long *slots = (long*)(unsigned long long)self->data;

package/core/System/Console.nm

@@ -42,8 +42,8 @@ pub struct Console {
 	}
 
 	// Read one line from stdin (newline stripped). The raw body mallocs the
-	// buffer — `mov out string` transfers ownership to the caller.
-	pub func read_line = (mov out string) {
+	// buffer — `move out string` transfers ownership to the caller.
+	pub func read_line = (move out string) {
 		```
 		#arch: c
 		int cap = 16;
@@ -125,8 +125,8 @@ pub struct Console {
 	}
 
 	// The platform name ("macos" / "ios" / …). The raw body strdups a static
-	// string — `mov out string` transfers the owned copy to the caller.
-	pub func platform = (mov out string) {
+	// string — `move out string` transfers the owned copy to the caller.
+	pub func platform = (move out string) {
 		```
 		#arch: c
 		#platform: macos

package/core/System/Graph.nm

@@ -14,7 +14,7 @@ pub struct Graph<T>: Enumerable {
 	var node_count = 0
 	var edge_count = 0
 
-	pub func add_node = (ref self, mov T value) {
+	pub func add_node = (ref self, move T value) {
 		var int idx = self.node_count
 		self.values.grow_T(idx + 1)
 		self.values.store_T(idx, value)

package/core/System/LinkedList.nm

@@ -13,7 +13,7 @@ pub struct LinkedList<T>: Enumerable {
 	var int head = -1
 	var count = 0
 
-	pub func add = (ref self, mov T value) {
+	pub func add = (ref self, move T value) {
 		var int idx = self.count
 		self.values.grow_T(idx + 1)
 		self.values.store_T(idx, value)

package/core/System/List.nm

@@ -5,7 +5,7 @@ pub struct List<T>: Viewable {
 	var length = 0
 	var Buffer<T> items = Buffer<T>()
 
-	pub func push = (ref self, mov T value) {
+	pub func push = (ref self, move T value) {
 		if self.length >= self.items.cap {
 			var new_cap = 4
 			var int old_cap = self.items.cap
@@ -18,7 +18,7 @@ pub struct List<T>: Viewable {
 		self.length += 1
 	}
 
-	pub func pop = (ref self, mov out T) {
+	pub func pop = (ref self, move out T) {
 		if self.length <= 0 {
 			return self.items.move_T(0)
 		}
@@ -57,7 +57,7 @@ pub struct List<T>: Viewable {
 		return self.items.slice(start, end)
 	}
 
-	pub func set = (ref self, int i: i >= 0 && i < self.length, mov T value) {
+	pub func set = (ref self, int i: i >= 0 && i < self.length, move T value) {
 		self.items.replace_T(i, value)
 	}
 

package/core/System/Map.nm

@@ -24,7 +24,7 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 		}
 	}
 
-	pub func set = (ref self, mov TK key, mov TV value) {
+	pub func set = (ref self, move TK key, move TV value) {
 		var int cap = self.keys.cap
 		if cap == 0 {
 			cap = self.keys.alloc_T(8)
@@ -166,9 +166,9 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 	}
 
 	func rehash = (ref self, int new_cap) {
-		var Buffer<TK> old_keys = mov self.keys swap Buffer<TK>()
-		var Buffer<TV> old_values = mov self.values swap Buffer<TV>()
-		var Buffer<int> old_used = mov self.used swap Buffer<int>()
+		var Buffer<TK> old_keys = move self.keys swap Buffer<TK>()
+		var Buffer<TV> old_values = move self.values swap Buffer<TV>()
+		var Buffer<int> old_used = move self.used swap Buffer<int>()
 		var int old_cap = old_keys.cap
 
 		self.keys.alloc_T(new_cap)
@@ -190,7 +190,7 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 				// move_T results.
 				var TK k = old_keys.move_T(i)
 				var TV v = old_values.move_T(i)
-				self.set(mov k, mov v)
+				self.set(move k, move v)
 			}
 		}
 	}

package/core/System/Result.nm

@@ -1,4 +1,4 @@
-pub strict enum Result<T, E> {
+pub must_use enum Result<T, E> {
     case ok(T value)
     case error(E error)
 }

package/core/System/Set.nm

@@ -12,7 +12,7 @@ pub struct Set<T: Hashable + Equatable> {
 	var Buffer<T> slots = Buffer<T>()
 	var used = Buffer<int>()
 
-	pub func add = (ref self, mov T value) {
+	pub func add = (ref self, move T value) {
 		var int cap = self.slots.cap
 		if cap == 0 {
 			cap = self.slots.alloc_T(8)
@@ -148,8 +148,8 @@ pub struct Set<T: Hashable + Equatable> {
 	}
 
 	func rehash = (ref self, int new_cap) {
-		var Buffer<T> old_slots = mov self.slots swap Buffer<T>()
-		var Buffer<int> old_used = mov self.used swap Buffer<int>()
+		var Buffer<T> old_slots = move self.slots swap Buffer<T>()
+		var Buffer<int> old_used = move self.used swap Buffer<int>()
 		var int old_cap = old_slots.cap
 
 		self.slots.alloc_T(new_cap)
@@ -168,7 +168,7 @@ pub struct Set<T: Hashable + Equatable> {
 				// once the new buffer has made its own copy — passing it inline
 				// would orphan the move_T result.
 				var T v = old_slots.move_T(i)
-				self.add(mov v)
+				self.add(move v)
 			}
 		}
 	}

package/core/System/Stream/File.nm

@@ -156,9 +156,9 @@ pub struct File {
 	}
 
 	// Read every byte from the current position to EOF and return it. Sets
-	// `eof` and `error`. Declared `mov out string`: the raw body mallocs a
+	// `eof` and `error`. Declared `move out string`: the raw body mallocs a
 	// fresh buffer and hands ownership to the caller.
-	func raw_read_all = (ref self, mov out string) {
+	func raw_read_all = (ref self, move out string) {
 		```
 		#arch: c
 		FILE *f = (FILE*)(unsigned long long)self->handle;
@@ -268,8 +268,8 @@ pub struct File {
 
 	// Read up to the next '\n' (the newline is not included). Sets `eof`
 	// when the end of the file is reached and `error` on failure. The raw
-	// body mallocs a fresh buffer — `mov out string` transfers it.
-	func raw_read_line = (ref self, mov out string) {
+	// body mallocs a fresh buffer — `move out string` transfers it.
+	func raw_read_line = (ref self, move out string) {
 		```
 		#arch: c
 		FILE *f = (FILE*)(unsigned long long)self->handle;
@@ -409,8 +409,8 @@ pub struct File {
 
 	// Read up to `size` bytes from the current position. Sets `eof` if fewer
 	// than `size` bytes remain and `error` on failure. The raw body mallocs a
-	// fresh buffer — `mov out string` transfers it.
-	func raw_read_chunk = (ref self, int size, mov out string) {
+	// fresh buffer — `move out string` transfers it.
+	func raw_read_chunk = (ref self, int size, move out string) {
 		```
 		#arch: c
 		FILE *f = (FILE*)(unsigned long long)self->handle;
@@ -583,7 +583,7 @@ pub struct File {
 
 	// (static) Write `data` to `path` (replacing any existing contents) in
 	// one open/write/close. A write failure is reported as `.error`, not
-	// silently swallowed (the `strict` Result discard check forces this to
+	// silently swallowed (the `must_use` Result discard check forces this to
 	// be deliberate).
 	pub func write_all = (string path, string data, out Result<bool, FileError>) {
 		var Result<bool, FileError> result = .error(FileError.other)

package/core/System/Stream/Http.nm

@@ -53,9 +53,9 @@ pub struct Http {
 	// method string ("GET" / "POST"); a leading 'P' selects POST semantics
 	// (sends `body` and the Content-* headers). Sets self->status (0 on
 	// failure) and self->error, and returns the response body (empty string
-	// on failure). The raw body mallocs the response — `mov out string`
+	// on failure). The raw body mallocs the response — `move out string`
 	// transfers ownership to the caller.
-	func raw_exchange = (ref self, string method, string url, string body, mov out string) {
+	func raw_exchange = (ref self, string method, string url, string body, move out string) {
 		```
 		#arch: c
 		#scope: file

package/core/System/String.nm

@@ -1,7 +1,7 @@
 // FFI: the C library's heap-copy entry point (string.h). The adapter
 // marshals the fat string to the thin char* the C ABI expects; the string
 // result is re-wrapped with its length.
-extern func strdup = (string s, mov out string)
+extern func strdup = (string s, move out string)
 
 /**
  * A UTF-8 text string — a heap-owned, length-tracked sequence of bytes
@@ -18,13 +18,13 @@ pub struct string: Stringable, Hashable, Equatable {
 		return h
 	}
 
-	// Returns an OWNED copy of self (`mov out string`). Both backends hand
+	// Returns an OWNED copy of self (`move out string`). Both backends hand
 	// back a fresh allocation the caller frees — never an alias of self's
 	// storage — so the result can outlive the receiver (e.g. escape a match
 	// branch that reclaims the scrutinee temp). Goes through the `strdup`
 	// extern: the adapter marshals self.ptr to libc and re-wraps the copy
 	// with its length.
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		return strdup(self)
 	}
 

package/core/System/Task.nm

@@ -69,10 +69,10 @@ pub class Task<T> : Sendable {
 	// the full return value — including the 16-byte fat-string pair — and the
 	// trampoline writes the function's return value there before exiting.
 	// The result is MOVED OUT: the slot is zeroed as the value leaves, and
-	// `mov out T` marks the caller as the owner. Call it once; a second call
+	// `move out T` marks the caller as the owner. Call it once; a second call
 	// returns the zero value. For tasks with no return value (void
 	// functions), returns the zero value.
-	pub func result = (ref self, mov out T) {
+	pub func result = (ref self, move out T) {
 		```
 		#arch: c
 		if (self->future) {

package/core/System/Text/Json.nm

@@ -14,9 +14,9 @@
  **/
 pub struct Json {
 	// Serialize a string to a JSON string literal, escaping the special
-	// characters ", \, newline, tab and carriage return. `mov out string`:
+	// characters ", \, newline, tab and carriage return. `move out string`:
 	// returns the StringBuilder's owned heap copy.
-	pub func serialize = (string value, mov out string) {
+	pub func serialize = (string value, move out string) {
 		var sb = StringBuilder()
 		sb.append_char('"')
 		var i = 0
@@ -50,8 +50,8 @@ pub struct Json {
 	}
 
 	// Deserialize a JSON string literal to the raw, unescaped value.
-	// `mov out string`: returns the StringBuilder's owned heap copy.
-	pub func deserialize = (string json, mov out string) {
+	// `move out string`: returns the StringBuilder's owned heap copy.
+	pub func deserialize = (string json, move out string) {
 		var sb = StringBuilder()
 		var int len = json.length
 		var i = 0

package/core/System/Text/Regex.nm

@@ -30,9 +30,9 @@ pub struct Regex {
 	}
 
 	// Return the first substring of input matching pattern, or "" if none.
-	// `mov out string`: the built match (or the copied empty literal) is
+	// `move out string`: the built match (or the copied empty literal) is
 	// handed to the caller as an owned value.
-	pub func match = (string pattern, string input, mov out string) {
+	pub func match = (string pattern, string input, move out string) {
 		var match_result = ""
 		var int pat_len = pattern.length
 		var int len = input.length

package/core/System/Tree.nm

@@ -13,7 +13,7 @@ pub struct Tree<T>: Enumerable {
 	var parents = Buffer<int>()
 	var count = 0
 
-	pub func add = (ref self, mov T value) {
+	pub func add = (ref self, move T value) {
 		const int idx = self.count
 		self.values.grow_int(idx + 1)
 		const int v = value

package/core/System/bool.nm

@@ -12,7 +12,7 @@ pub struct bool: Stringable, Hashable, Equatable {
 	 * @param self: the boolean
 	 * @out string: the boolean as a string value (`"true"` or `"false"`)
 	 **/
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%s", self ? "true" : "false");

package/core/System/char.nm

@@ -6,7 +6,7 @@ pub struct char: Stringable, Hashable, Equatable {
 		return self as uint
 	}
 
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%c", self);

package/core/System/float.nm

@@ -2,7 +2,7 @@
  * A double-precision (64-bit) floating-point number
  **/
 pub struct float: Stringable {
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%f", self);

package/core/System/float32.nm

@@ -2,7 +2,7 @@
  * A signed double-precision (64-bit) floating-point number
  **/
 pub struct float32: Stringable {
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%f", self);

package/core/System/float64.nm

@@ -2,7 +2,7 @@
  * A signed double-precision (64-bit) floating-point number
  **/
 pub struct float64: Stringable {
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%f", self);

package/core/System/int.nm

@@ -6,7 +6,7 @@ pub struct int: Stringable, Hashable, Equatable {
 		return self as uint
 	}
 
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%ld", self);

package/core/System/int16.nm

@@ -6,7 +6,7 @@ pub struct int16: Stringable, Hashable, Equatable {
 		return self as uint
 	}
 
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%d", self);

package/core/System/int32.nm

@@ -6,7 +6,7 @@ pub struct int32: Stringable, Hashable, Equatable {
 		return self as uint
 	}
 
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%d", self);

package/core/System/int64.nm

@@ -6,7 +6,7 @@ pub struct int64: Stringable, Hashable, Equatable {
 		return self as uint
 	}
 
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%lld", self);

package/core/System/int8.nm

@@ -6,7 +6,7 @@ pub struct int8: Stringable, Hashable, Equatable {
 		return self as uint
 	}
 
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%d", self);

package/core/System/ufloat.nm

@@ -2,7 +2,7 @@
  * An unsigned double-precision (64-bit) floating-point number
  **/
 pub struct ufloat: Stringable {
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%f", self);

package/core/System/ufloat32.nm

@@ -2,7 +2,7 @@
  * An unsigned double-precision (64-bit) floating-point number
  **/
 pub struct ufloat32: Stringable {
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%f", self);

package/core/System/ufloat64.nm

@@ -2,7 +2,7 @@
  * An unsigned double-precision (64-bit) floating-point number
  **/
 pub struct ufloat64: Stringable {
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%f", self);

package/core/System/uint.nm

@@ -6,7 +6,7 @@ pub struct uint: Stringable, Hashable, Equatable {
 		return self
 	}
 
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%ld", self);

package/core/System/uint16.nm

@@ -6,7 +6,7 @@ pub struct uint16: Stringable, Hashable, Equatable {
 		return self as uint
 	}
 
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%u", self);

package/core/System/uint32.nm

@@ -6,7 +6,7 @@ pub struct uint32: Stringable, Hashable, Equatable {
 		return self as uint
 	}
 
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%u", self);

package/core/System/uint64.nm

@@ -6,7 +6,7 @@ pub struct uint64: Stringable, Hashable, Equatable {
 		return self as uint
 	}
 
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%llu", self);

package/core/System/uint8.nm

@@ -6,7 +6,7 @@ pub struct uint8: Stringable, Hashable, Equatable {
 		return self as uint
 	}
 
-	pub func to_string = (self, mov out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%d", self);

package/core/docs/System/Result.md

@@ -1,12 +1,12 @@
 # Result
 
-## `strict enum Result<T, E>`
+## `must_use enum Result<T, E>`
 
 A generic result type with an `ok(T value)` success case and an
 `error(E error)` failure case. Monomorphized per concrete type-argument pair
 (e.g. `Result<int, string>`).
 
-`Result` is declared `strict`: a statement-position call that returns a
+`Result` is declared `must_use`: a statement-position call that returns a
 `Result` is a compile error unless the value is bound or matched. Ignore it
 deliberately with `var _ = f.close()`, or handle both cases with `match`.