@tsonic/core 0.5.0 → 0.6.0

package/__build/scripts/generate.sh

@@ -0,0 +1,99 @@
+#!/bin/bash
+# Generate TypeScript declarations for Tsonic.Runtime in @tsonic/core
+#
+# This script regenerates TypeScript type declarations from the
+# Tsonic.Runtime.dll assembly using tsbindgen.
+#
+# Prerequisites:
+#   - .NET 10 SDK installed
+#   - tsbindgen repository cloned at ../tsbindgen (sibling directory)
+#   - runtime repository cloned at ../runtime (sibling directory)
+#
+# Usage:
+#   ./__build/scripts/generate.sh
+
+set -e
+
+SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
+PROJECT_DIR="$(cd "$SCRIPT_DIR/../.." && pwd)"
+TSBINDGEN_DIR="$PROJECT_DIR/../tsbindgen"
+RUNTIME_DIR="$PROJECT_DIR/../runtime"
+DOTNET_LIB="$PROJECT_DIR/../dotnet"
+
+# .NET runtime path (needed for BCL type resolution)
+DOTNET_VERSION="${DOTNET_VERSION:-10.0.0}"
+DOTNET_HOME="${DOTNET_HOME:-$HOME/.dotnet}"
+DOTNET_RUNTIME_PATH="$DOTNET_HOME/shared/Microsoft.NETCore.App/$DOTNET_VERSION"
+
+# Tsonic.Runtime.dll path
+RUNTIME_DLL="$RUNTIME_DIR/artifacts/bin/Tsonic.Runtime/Release/net10.0/Tsonic.Runtime.dll"
+
+echo "================================================================"
+echo "Generating Tsonic.Runtime TypeScript Declarations for @tsonic/core"
+echo "================================================================"
+echo ""
+echo "Configuration:"
+echo "  Runtime.dll:   $RUNTIME_DLL"
+echo "  .NET Runtime:  $DOTNET_RUNTIME_PATH"
+echo "  BCL Library:   $DOTNET_LIB (external reference)"
+echo "  tsbindgen:     $TSBINDGEN_DIR"
+echo "  Output:        $PROJECT_DIR"
+echo "  Naming:        JS (camelCase)"
+echo ""
+
+# Verify prerequisites
+if [ ! -f "$RUNTIME_DLL" ]; then
+    echo "ERROR: Tsonic.Runtime.dll not found at $RUNTIME_DLL"
+    echo "Build it first: cd ../runtime && dotnet build -c Release"
+    exit 1
+fi
+
+if [ ! -d "$DOTNET_RUNTIME_PATH" ]; then
+    echo "ERROR: .NET runtime not found at $DOTNET_RUNTIME_PATH"
+    echo "Set DOTNET_HOME or DOTNET_VERSION environment variables"
+    exit 1
+fi
+
+if [ ! -d "$TSBINDGEN_DIR" ]; then
+    echo "ERROR: tsbindgen not found at $TSBINDGEN_DIR"
+    echo "Clone it: git clone https://github.com/tsoniclang/tsbindgen ../tsbindgen"
+    exit 1
+fi
+
+if [ ! -d "$DOTNET_LIB" ]; then
+    echo "ERROR: @tsonic/dotnet not found at $DOTNET_LIB"
+    echo "Clone it: git clone https://github.com/tsoniclang/dotnet ../dotnet"
+    exit 1
+fi
+
+# Clean only generated runtime files (keep hand-written types.d.ts, attributes.d.ts)
+echo "[1/3] Cleaning generated runtime files..."
+cd "$PROJECT_DIR"
+
+# Remove only the generated runtime directory and facade files
+rm -rf Tsonic.Runtime/ runtime/ 2>/dev/null || true
+rm -f Tsonic.Runtime.d.ts Tsonic.Runtime.js runtime.d.ts runtime.js 2>/dev/null || true
+rm -f families.json 2>/dev/null || true
+
+echo "  Done"
+
+# Build tsbindgen
+echo "[2/3] Building tsbindgen..."
+cd "$TSBINDGEN_DIR"
+dotnet build src/tsbindgen/tsbindgen.csproj -c Release --verbosity quiet
+echo "  Done"
+
+# Generate types with JavaScript-style naming
+# Uses --lib to reference BCL types from @tsonic/dotnet instead of regenerating them
+# Uses --namespace-map to emit as runtime.d.ts/runtime.js for cleaner imports
+echo "[3/3] Generating TypeScript declarations..."
+dotnet run --project src/tsbindgen/tsbindgen.csproj --no-build -c Release -- \
+    generate -a "$RUNTIME_DLL" -d "$DOTNET_RUNTIME_PATH" -o "$PROJECT_DIR" \
+    --lib "$DOTNET_LIB" \
+    --naming js \
+    --namespace-map "Tsonic.Runtime=runtime"
+
+echo ""
+echo "================================================================"
+echo "Generation Complete"
+echo "================================================================"

package/families.json

@@ -0,0 +1,9 @@
+{
+  "Tsonic.Runtime.Union": {
+    "stem": "Union",
+    "namespace": "Tsonic.Runtime",
+    "minArity": 2,
+    "maxArity": 8,
+    "isDelegate": false
+  }
+}

package/lang.d.ts

@@ -0,0 +1,183 @@
+/**
+ * @tsonic/core - Language Intrinsics
+ *
+ * TypeScript declarations for C# language-level intrinsics.
+ * These compile to C# keywords and special syntax.
+ *
+ * All intrinsics are lowercase to match C# keyword style.
+ *
+ * @example
+ * ```typescript
+ * import { stackalloc, sizeof, nameof, defaultof, trycast } from "@tsonic/core/lang.js";
+ * import { int, Span } from "@tsonic/core/types.js";
+ *
+ * const buffer: Span<int> = stackalloc<int>(100);
+ * const size: int = sizeof<int>();
+ * const name: string = nameof(myVariable);
+ * const zero: int = defaultof<int>();
+ * const person = trycast<Person>(obj);
+ * ```
+ */
+
+import { int } from "./types.js";
+
+// ============================================================================
+// Memory Intrinsics
+// ============================================================================
+
+/**
+ * Allocates memory on the stack.
+ *
+ * TypeScript: `stackalloc<int>(100)`
+ * C#: `stackalloc int[100]`
+ *
+ * Returns a Span<T> pointing to stack-allocated memory.
+ * The memory is automatically freed when the scope exits.
+ *
+ * @example
+ * ```typescript
+ * import { stackalloc } from "@tsonic/core/lang.js";
+ * import { int, Span } from "@tsonic/core/types.js";
+ *
+ * const buffer: Span<int> = stackalloc<int>(256);
+ * buffer[0] = 42;
+ * ```
+ *
+ * In C#, this emits:
+ * ```csharp
+ * Span<int> buffer = stackalloc int[256];
+ * buffer[0] = 42;
+ * ```
+ */
+export declare function stackalloc<T>(size: int): Span<T>;
+
+// ============================================================================
+// Type Intrinsics
+// ============================================================================
+
+/**
+ * Returns the size in bytes of a type.
+ *
+ * TypeScript: `sizeof<int>()`
+ * C#: `sizeof(int)`
+ *
+ * Only valid for unmanaged types (primitives, structs with no reference fields).
+ *
+ * @example
+ * ```typescript
+ * import { sizeof } from "@tsonic/core/lang.js";
+ * import { int, long } from "@tsonic/core/types.js";
+ *
+ * const intSize: int = sizeof<int>();     // 4
+ * const longSize: int = sizeof<long>();   // 8
+ * ```
+ *
+ * In C#, this emits:
+ * ```csharp
+ * int intSize = sizeof(int);   // 4
+ * int longSize = sizeof(long); // 8
+ * ```
+ */
+export declare function sizeof<T>(): int;
+
+/**
+ * Returns the default value for a type.
+ *
+ * TypeScript: `defaultof<int>()`
+ * C#: `default(int)`
+ *
+ * For value types, returns the zero value.
+ * For reference types, returns null.
+ *
+ * @example
+ * ```typescript
+ * import { defaultof } from "@tsonic/core/lang.js";
+ * import { int, bool } from "@tsonic/core/types.js";
+ *
+ * const zero: int = defaultof<int>();         // 0
+ * const falseBool: bool = defaultof<bool>();  // false
+ * const nullRef = defaultof<Person>();        // null
+ * ```
+ *
+ * In C#, this emits:
+ * ```csharp
+ * int zero = default(int);         // 0
+ * bool falseBool = default(bool);  // false
+ * Person? nullRef = default;       // null
+ * ```
+ */
+export declare function defaultof<T>(): T;
+
+// ============================================================================
+// Symbol Intrinsics
+// ============================================================================
+
+/**
+ * Returns the name of a symbol as a string.
+ *
+ * TypeScript: `nameof(myVariable)`
+ * C#: `nameof(myVariable)`
+ *
+ * Useful for refactoring-safe string literals.
+ *
+ * @example
+ * ```typescript
+ * import { nameof } from "@tsonic/core/lang.js";
+ *
+ * const name = nameof(myVariable);  // "myVariable"
+ * const prop = nameof(person.name); // "name"
+ * ```
+ *
+ * In C#, this emits:
+ * ```csharp
+ * string name = nameof(myVariable);  // "myVariable"
+ * string prop = nameof(person.name); // "name"
+ * ```
+ */
+export declare function nameof(expression: unknown): string;
+
+// ============================================================================
+// Cast Intrinsics
+// ============================================================================
+
+/**
+ * Safe cast - returns T or null if cast fails.
+ *
+ * TypeScript: `trycast<Person>(obj)`
+ * C#: `obj as Person`
+ *
+ * Unlike `x as T` type assertion which throws on failure (C# `(T)x`),
+ * this returns null if the cast is not valid.
+ *
+ * @example
+ * ```typescript
+ * import { trycast } from "@tsonic/core/lang.js";
+ *
+ * const person = trycast<Person>(unknownObj);
+ * if (person !== null) {
+ *   console.log(person.name);
+ * }
+ * ```
+ *
+ * In C#, this emits:
+ * ```csharp
+ * Person? person = unknownObj as Person;
+ * if (person != null) {
+ *   Console.WriteLine(person.name);
+ * }
+ * ```
+ */
+export declare function trycast<T>(value: unknown): T | null;
+
+// ============================================================================
+// Span type (for stackalloc return type)
+// ============================================================================
+
+/**
+ * A contiguous region of memory.
+ * Used as the return type of stackalloc.
+ */
+export interface Span<T> {
+  readonly length: int;
+  [index: number]: T;
+}

package/package.json

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