@tsonic/core 0.2.0 → 0.4.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tsonic/core",
-  "version": "0.2.0",
+  "version": "0.4.0",
   "description": "Core type definitions for Tsonic - TypeScript to native compiler",
   "type": "module",
   "keywords": [

package/types.d.ts

@@ -52,6 +52,92 @@ export type char = string; // System.Char (single UTF-16 code unit)
 // Erases to unknown for type safety - requires explicit handling
 export type ptr<T> = unknown;
 
-// NOTE: ref<T>, out<T>, In<T> have been removed.
-// Parameter modifiers will be expressed via syntax, not types.
-// See spec for forthcoming ref/out/in parameter syntax.
+// ============================================================================
+// Parameter Passing Modifiers
+// ============================================================================
+
+/**
+ * Marks a parameter as `out` - callee sets the value.
+ * Use with `as out<T>` at call sites.
+ *
+ * @example
+ * ```typescript
+ * import { int, out } from "@tsonic/core/types.js";
+ *
+ * let value: int = 0;
+ * dict.tryGetValue("key", value as out<int>);
+ * // value now contains the result
+ * ```
+ */
+export type out<T> = T;
+
+/**
+ * Marks a parameter as `ref` - callee can read and modify.
+ * Use with `as ref<T>` at call sites.
+ *
+ * @example
+ * ```typescript
+ * import { int, ref } from "@tsonic/core/types.js";
+ *
+ * let count: int = 10;
+ * increment(count as ref<int>);
+ * // count is now modified
+ * ```
+ */
+export type ref<T> = T;
+
+/**
+ * Marks a parameter as `in` - read-only reference (optimization for large structs).
+ * Use with `as inref<T>` at call sites.
+ * Named `inref` because `in` is a TypeScript reserved keyword.
+ *
+ * @example
+ * ```typescript
+ * import { inref } from "@tsonic/core/types.js";
+ *
+ * const data: LargeStruct = { ... };
+ * process(data as inref<LargeStruct>);
+ * ```
+ */
+export type inref<T> = T;
+
+// ============================================================================
+// Value Type Markers
+// ============================================================================
+
+/**
+ * Marker interface for C# struct types.
+ *
+ * Types that extend `struct` will be emitted as C# structs instead of classes.
+ * This enables value semantics and stack allocation in the generated code.
+ *
+ * @example
+ * ```typescript
+ * import { struct } from "@tsonic/core/types.js";
+ *
+ * // This becomes a C# struct
+ * export interface Point extends struct {
+ *   x: number;
+ *   y: number;
+ * }
+ *
+ * // Use as generic constraint for nullable value types
+ * function wrap<T extends struct>(value: T | null): T | null {
+ *   return value;
+ * }
+ * ```
+ *
+ * In C#, this emits:
+ * ```csharp
+ * public struct Point {
+ *   public double x { get; set; }
+ *   public double y { get; set; }
+ * }
+ *
+ * // With constraint: where T : struct
+ * T? Wrap<T>(T? value) where T : struct => value;
+ * ```
+ */
+export interface struct {
+  readonly __brand: unique symbol;
+}