nomen-lang 0.0.19 → 0.2.0

package/core/System/int16.nm

@@ -0,0 +1,47 @@
+/**
+ * A 16-bit signed integer
+ **/
+pub struct int16: Stringable, Hashable, Equatable {
+	pub func hash = (self, out uint) {
+		return self as uint
+	}
+
+	pub func to_string = (self, move out string) {
+		```
+		#arch: c
+		int length = snprintf(NULL, 0, "%d", self);
+		char* str = malloc(length + 1);
+		snprintf(str, length + 1, "%d", self);
+		return str;
+		```
+		```
+		#arch: aarch64
+		sub sp, sp, #128
+		str x0, [sp, #0]
+		str x1, [sp, #8]
+		str x2, [sp, #16]
+		str x3, [sp, #24]
+		mov x0, xzr
+		mov x1, xzr
+		adr x2, .Lfmt_int16_d
+		mov x3, x19
+		bl _snprintf
+		add x0, x0, #1
+		str x0, [sp, #64]
+		bl _malloc
+		str x0, [sp, #72]
+		ldr x0, [sp, #72]
+		ldr x1, [sp, #64]
+		adr x2, .Lfmt_int16_d
+		mov x3, x19
+		bl _snprintf
+		mov x1, x0
+		ldr x0, [sp, #72]
+		add sp, sp, #128
+		b .Lend_int16_to_string
+		.Lfmt_int16_d: .asciz "%d"
+		.p2align 2
+		.Lend_int16_to_string:
+		```
+	}
+}

package/core/System/int32.nm

@@ -0,0 +1,47 @@
+/**
+ * A 32-bit signed integer
+ **/
+pub struct int32: Stringable, Hashable, Equatable {
+	pub func hash = (self, out uint) {
+		return self as uint
+	}
+
+	pub func to_string = (self, move out string) {
+		```
+		#arch: c
+		int length = snprintf(NULL, 0, "%d", self);
+		char* str = malloc(length + 1);
+		snprintf(str, length + 1, "%d", self);
+		return str;
+		```
+		```
+		#arch: aarch64
+		sub sp, sp, #128
+		str x0, [sp, #0]
+		str x1, [sp, #8]
+		str x2, [sp, #16]
+		str x3, [sp, #24]
+		mov x0, xzr
+		mov x1, xzr
+		adr x2, .Lfmt_int32_d
+		mov x3, x19
+		bl _snprintf
+		add x0, x0, #1
+		str x0, [sp, #64]
+		bl _malloc
+		str x0, [sp, #72]
+		ldr x0, [sp, #72]
+		ldr x1, [sp, #64]
+		adr x2, .Lfmt_int32_d
+		mov x3, x19
+		bl _snprintf
+		mov x1, x0
+		ldr x0, [sp, #72]
+		add sp, sp, #128
+		b .Lend_int32_to_string
+		.Lfmt_int32_d: .asciz "%d"
+		.p2align 2
+		.Lend_int32_to_string:
+		```
+	}
+}

package/core/System/int64.nm

@@ -3,17 +3,10 @@
  **/
 pub struct int64: Stringable, Hashable, Equatable {
 	pub func hash = (self, out uint) {
-		```
-		#arch: c
-		return (unsigned long)self;
-		```
-		```
-		#arch: aarch64
-		mov x0, x19
-		```
+		return self as uint
 	}
 
-	pub func to_string = (self, out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%lld", self);
@@ -42,6 +35,7 @@ pub struct int64: Stringable, Hashable, Equatable {
 		adr x2, .Lfmt_int64_lld
 		mov x3, x19
 		bl _snprintf
+		mov x1, x0
 		ldr x0, [sp, #72]
 		add sp, sp, #128
 		b .Lend_int64_to_string

package/core/System/int8.nm

@@ -3,17 +3,10 @@
  **/
 pub struct int8: Stringable, Hashable, Equatable {
 	pub func hash = (self, out uint) {
-		```
-		#arch: c
-		return (unsigned long)self;
-		```
-		```
-		#arch: aarch64
-		mov x0, x19
-		```
+		return self as uint
 	}
 
-	pub func to_string = (self, out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%d", self);
@@ -42,6 +35,7 @@ pub struct int8: Stringable, Hashable, Equatable {
 		adr x2, .Lfmt_int8_d
 		mov x3, x19
 		bl _snprintf
+		mov x1, x0
 		ldr x0, [sp, #72]
 		add sp, sp, #128
 		b .Lend_int8_to_string

package/core/System/ufloat.nm

@@ -0,0 +1,44 @@
+/**
+ * An unsigned double-precision (64-bit) floating-point number
+ **/
+pub struct ufloat: Stringable {
+	pub func to_string = (self, move out string) {
+		```
+		#arch: c
+		int length = snprintf(NULL, 0, "%f", self);
+		char* str = malloc(length + 1);
+		snprintf(str, length + 1, "%f", self);
+		return str;
+		```
+		```
+		#arch: aarch64
+		sub sp, sp, #128
+		str x0, [sp, #0]
+		str x1, [sp, #8]
+		str x2, [sp, #16]
+		str x3, [sp, #24]
+		str d0, [sp, #64]
+		mov x0, xzr
+		mov x1, xzr
+		adr x2, .Lfmt_ufloat_f
+		fmov d0, x19
+		bl _snprintf
+		add x0, x0, #1
+		str x0, [sp, #64]
+		bl _malloc
+		str x0, [sp, #72]
+		ldr x0, [sp, #72]
+		ldr x1, [sp, #64]
+		adr x2, .Lfmt_ufloat_f
+		fmov d0, x19
+		bl _snprintf
+		mov x1, x0
+		ldr x0, [sp, #72]
+		add sp, sp, #128
+		b .Lend_ufloat_to_string
+		.Lfmt_ufloat_f: .asciz "%f"
+		.p2align 2
+		.Lend_ufloat_to_string:
+		```
+	}
+}

package/core/System/ufloat32.nm

@@ -0,0 +1,44 @@
+/**
+ * An unsigned double-precision (64-bit) floating-point number
+ **/
+pub struct ufloat32: Stringable {
+	pub func to_string = (self, move out string) {
+		```
+		#arch: c
+		int length = snprintf(NULL, 0, "%f", self);
+		char* str = malloc(length + 1);
+		snprintf(str, length + 1, "%f", self);
+		return str;
+		```
+		```
+		#arch: aarch64
+		sub sp, sp, #128
+		str x0, [sp, #0]
+		str x1, [sp, #8]
+		str x2, [sp, #16]
+		str x3, [sp, #24]
+		str d0, [sp, #64]
+		mov x0, xzr
+		mov x1, xzr
+		adr x2, .Lfmt_ufloat32_f
+		fmov d0, x19
+		bl _snprintf
+		add x0, x0, #1
+		str x0, [sp, #64]
+		bl _malloc
+		str x0, [sp, #72]
+		ldr x0, [sp, #72]
+		ldr x1, [sp, #64]
+		adr x2, .Lfmt_ufloat32_f
+		fmov d0, x19
+		bl _snprintf
+		mov x1, x0
+		ldr x0, [sp, #72]
+		add sp, sp, #128
+		b .Lend_ufloat32_to_string
+		.Lfmt_ufloat32_f: .asciz "%f"
+		.p2align 2
+		.Lend_ufloat32_to_string:
+		```
+	}
+}

package/core/System/ufloat64.nm

@@ -0,0 +1,44 @@
+/**
+ * An unsigned double-precision (64-bit) floating-point number
+ **/
+pub struct ufloat64: Stringable {
+	pub func to_string = (self, move out string) {
+		```
+		#arch: c
+		int length = snprintf(NULL, 0, "%f", self);
+		char* str = malloc(length + 1);
+		snprintf(str, length + 1, "%f", self);
+		return str;
+		```
+		```
+		#arch: aarch64
+		sub sp, sp, #128
+		str x0, [sp, #0]
+		str x1, [sp, #8]
+		str x2, [sp, #16]
+		str x3, [sp, #24]
+		str d0, [sp, #64]
+		mov x0, xzr
+		mov x1, xzr
+		adr x2, .Lfmt_ufloat64_f
+		fmov d0, x19
+		bl _snprintf
+		add x0, x0, #1
+		str x0, [sp, #64]
+		bl _malloc
+		str x0, [sp, #72]
+		ldr x0, [sp, #72]
+		ldr x1, [sp, #64]
+		adr x2, .Lfmt_ufloat64_f
+		fmov d0, x19
+		bl _snprintf
+		mov x1, x0
+		ldr x0, [sp, #72]
+		add sp, sp, #128
+		b .Lend_ufloat64_to_string
+		.Lfmt_ufloat64_f: .asciz "%f"
+		.p2align 2
+		.Lend_ufloat64_to_string:
+		```
+	}
+}

package/core/System/uint.nm

@@ -3,17 +3,10 @@
  **/
 pub struct uint: Stringable, Hashable, Equatable {
 	pub func hash = (self, out uint) {
-		```
-		#arch: c
-		return (unsigned long)self;
-		```
-		```
-		#arch: aarch64
-		mov x0, x19
-		```
+		return self
 	}
 
-	pub func to_string = (self, out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%ld", self);
@@ -42,6 +35,7 @@ pub struct uint: Stringable, Hashable, Equatable {
 		adr x2, .Lfmt_uint_ld
 		mov x3, x19
 		bl _snprintf
+		mov x1, x0
 		ldr x0, [sp, #72]
 		add sp, sp, #128
 		b .Lend_uint_to_string

package/core/System/uint16.nm

@@ -0,0 +1,47 @@
+/**
+ * A 16-bit unsigned integer
+ **/
+pub struct uint16: Stringable, Hashable, Equatable {
+	pub func hash = (self, out uint) {
+		return self as uint
+	}
+
+	pub func to_string = (self, move out string) {
+		```
+		#arch: c
+		int length = snprintf(NULL, 0, "%u", self);
+		char* str = malloc(length + 1);
+		snprintf(str, length + 1, "%u", self);
+		return str;
+		```
+		```
+		#arch: aarch64
+		sub sp, sp, #128
+		str x0, [sp, #0]
+		str x1, [sp, #8]
+		str x2, [sp, #16]
+		str x3, [sp, #24]
+		mov x0, xzr
+		mov x1, xzr
+		adr x2, .Lfmt_uint16_u
+		mov x3, x19
+		bl _snprintf
+		add x0, x0, #1
+		str x0, [sp, #64]
+		bl _malloc
+		str x0, [sp, #72]
+		ldr x0, [sp, #72]
+		ldr x1, [sp, #64]
+		adr x2, .Lfmt_uint16_u
+		mov x3, x19
+		bl _snprintf
+		mov x1, x0
+		ldr x0, [sp, #72]
+		add sp, sp, #128
+		b .Lend_uint16_to_string
+		.Lfmt_uint16_u: .asciz "%u"
+		.p2align 2
+		.Lend_uint16_to_string:
+		```
+	}
+}

package/core/System/uint32.nm

@@ -0,0 +1,47 @@
+/**
+ * A 32-bit unsigned integer
+ **/
+pub struct uint32: Stringable, Hashable, Equatable {
+	pub func hash = (self, out uint) {
+		return self as uint
+	}
+
+	pub func to_string = (self, move out string) {
+		```
+		#arch: c
+		int length = snprintf(NULL, 0, "%u", self);
+		char* str = malloc(length + 1);
+		snprintf(str, length + 1, "%u", self);
+		return str;
+		```
+		```
+		#arch: aarch64
+		sub sp, sp, #128
+		str x0, [sp, #0]
+		str x1, [sp, #8]
+		str x2, [sp, #16]
+		str x3, [sp, #24]
+		mov x0, xzr
+		mov x1, xzr
+		adr x2, .Lfmt_uint32_u
+		mov x3, x19
+		bl _snprintf
+		add x0, x0, #1
+		str x0, [sp, #64]
+		bl _malloc
+		str x0, [sp, #72]
+		ldr x0, [sp, #72]
+		ldr x1, [sp, #64]
+		adr x2, .Lfmt_uint32_u
+		mov x3, x19
+		bl _snprintf
+		mov x1, x0
+		ldr x0, [sp, #72]
+		add sp, sp, #128
+		b .Lend_uint32_to_string
+		.Lfmt_uint32_u: .asciz "%u"
+		.p2align 2
+		.Lend_uint32_to_string:
+		```
+	}
+}

package/core/System/uint64.nm

@@ -3,17 +3,10 @@
  **/
 pub struct uint64: Stringable, Hashable, Equatable {
 	pub func hash = (self, out uint) {
-		```
-		#arch: c
-		return (unsigned long)self;
-		```
-		```
-		#arch: aarch64
-		mov x0, x19
-		```
+		return self as uint
 	}
 
-	pub func to_string = (self, out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%llu", self);
@@ -42,6 +35,7 @@ pub struct uint64: Stringable, Hashable, Equatable {
 		adr x2, .Lfmt_uint64_llu
 		mov x3, x19
 		bl _snprintf
+		mov x1, x0
 		ldr x0, [sp, #72]
 		add sp, sp, #128
 		b .Lend_uint64_to_string

package/core/System/uint8.nm

@@ -3,17 +3,10 @@
  **/
 pub struct uint8: Stringable, Hashable, Equatable {
 	pub func hash = (self, out uint) {
-		```
-		#arch: c
-		return (unsigned long)self;
-		```
-		```
-		#arch: aarch64
-		mov x0, x19
-		```
+		return self as uint
 	}
 
-	pub func to_string = (self, out string) {
+	pub func to_string = (self, move out string) {
 		```
 		#arch: c
 		int length = snprintf(NULL, 0, "%d", self);
@@ -42,6 +35,7 @@ pub struct uint8: Stringable, Hashable, Equatable {
 		adr x2, .Lfmt_uint8_d
 		mov x3, x19
 		bl _snprintf
+		mov x1, x0
 		ldr x0, [sp, #72]
 		add sp, sp, #128
 		b .Lend_uint8_to_string

package/core/docs/System/Channel.md

@@ -7,4 +7,6 @@ A thread-safe, blocking FIFO queue for passing values between tasks
 **Members:**
 
 - `send(uint64 value)`
+- `send_string(string value)`
 - `receive() -> uint64`
+- `receive_string() -> string`

package/core/docs/System/Result.md

@@ -1,11 +1,15 @@
 # Result
 
-## `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 `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`.
+
 ```
 func parse_age = (string s, out Result<int, string>) {
     return .error("not a number")

package/core/docs/System/Task.md

@@ -7,7 +7,7 @@ A handle to an asynchronously-running computation, backed by a shared thread poo
 **Members:**
 
 - `wait()`
-- `result() -> T`
+- `result() -> T` (moves the value out — call once; the caller owns it)
 - `result_uint64() -> uint64`
 - `cancel()`
 - `current_cancelled() -> bool`