@tsonic/core 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2025 tsoniclang
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,58 @@
+# @tsonic/core
+
+Core type definitions for Tsonic - a TypeScript to native compiler.
+
+## Installation
+
+```bash
+npm install @tsonic/core
+```
+
+## Usage
+
+```typescript
+import { int, float, bool } from "@tsonic/core/types.js";
+
+const age: int = 42 as int;
+const temp: float = 98.6 as float;
+const isActive: bool = true;
+```
+
+## Type Aliases
+
+### Signed Integer Types
+- `sbyte` - System.SByte (-128 to 127)
+- `short` - System.Int16 (-32,768 to 32,767)
+- `int` - System.Int32 (-2,147,483,648 to 2,147,483,647)
+- `long` - System.Int64
+- `nint` - System.IntPtr (native int)
+- `int128` - System.Int128
+
+### Unsigned Integer Types
+- `byte` - System.Byte (0 to 255)
+- `ushort` - System.UInt16 (0 to 65,535)
+- `uint` - System.UInt32 (0 to 4,294,967,295)
+- `ulong` - System.UInt64
+- `nuint` - System.UIntPtr (native uint)
+- `uint128` - System.UInt128
+
+### Floating-Point Types
+- `half` - System.Half (16-bit float)
+- `float` - System.Single (32-bit float)
+- `double` - System.Double (64-bit float)
+- `decimal` - System.Decimal (128-bit decimal)
+
+### Other Types
+- `bool` - System.Boolean
+- `char` - System.Char (single UTF-16 code unit)
+- `ptr<T>` - C# unsafe pointer types
+
+## Important Notes
+
+These are simple type aliases with NO runtime enforcement. TypeScript treats all numeric types as `number`, `bool` as `boolean`, etc.
+
+**Tsonic enforces semantic correctness at compile time via its proof system.** TypeScript alone will NOT catch type errors between int/byte/long etc.
+
+## License
+
+MIT

package/dist/types.d.ts

@@ -0,0 +1,41 @@
+/**
+ * @tsonic/core - Type Definitions
+ *
+ * TypeScript type aliases for CLR/.NET runtime primitives.
+ *
+ * IMPORTANT: These are simple type aliases with NO runtime enforcement.
+ * TypeScript treats all numeric types as `number`, bool as `boolean`, etc.
+ * Tsonic enforces semantic correctness at compile time via its proof system.
+ *
+ * TypeScript will NOT catch type errors between int/byte/long etc.
+ * Only Tsonic compilation validates numeric correctness.
+ *
+ * @example
+ * ```typescript
+ * import { int, float, bool } from "@tsonic/core/types.js";
+ *
+ * const age: int = 42 as int;        // Tsonic validates 42 fits in Int32
+ * const temp: float = 98.6 as float; // Tsonic validates for Single
+ * const isActive: bool = true;       // bool is just boolean
+ * ```
+ */
+export type sbyte = number;
+export type short = number;
+export type int = number;
+export type long = number;
+export type nint = number;
+export type int128 = number;
+export type byte = number;
+export type ushort = number;
+export type uint = number;
+export type ulong = number;
+export type nuint = number;
+export type uint128 = number;
+export type half = number;
+export type float = number;
+export type double = number;
+export type decimal = number;
+export type bool = boolean;
+export type char = string;
+export type ptr<T> = unknown;
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AACzB,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAC1B,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAC1B,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAG5B,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAC1B,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAC5B,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAC1B,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAG7B,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAC1B,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAC5B,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAG7B,MAAM,MAAM,IAAI,GAAG,OAAO,CAAC;AAC3B,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAM1B,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC"}

package/dist/types.js

@@ -0,0 +1,26 @@
+/**
+ * @tsonic/core - Type Definitions
+ *
+ * TypeScript type aliases for CLR/.NET runtime primitives.
+ *
+ * IMPORTANT: These are simple type aliases with NO runtime enforcement.
+ * TypeScript treats all numeric types as `number`, bool as `boolean`, etc.
+ * Tsonic enforces semantic correctness at compile time via its proof system.
+ *
+ * TypeScript will NOT catch type errors between int/byte/long etc.
+ * Only Tsonic compilation validates numeric correctness.
+ *
+ * @example
+ * ```typescript
+ * import { int, float, bool } from "@tsonic/core/types.js";
+ *
+ * const age: int = 42 as int;        // Tsonic validates 42 fits in Int32
+ * const temp: float = 98.6 as float; // Tsonic validates for Single
+ * const isActive: bool = true;       // bool is just boolean
+ * ```
+ */
+export {};
+// 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.
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;;AAkCH,iDAAiD;AACjD,+DAA+D;AAC/D,wDAAwD"}

package/package.json

@@ -0,0 +1,45 @@
+{
+  "name": "@tsonic/core",
+  "version": "0.1.0",
+  "description": "Core type definitions for Tsonic - TypeScript to native compiler",
+  "type": "module",
+  "exports": {
+    "./types.js": {
+      "types": "./dist/types.d.ts",
+      "import": "./dist/types.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src",
+    "README.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "prepublishOnly": "npm run build"
+  },
+  "keywords": [
+    "typescript",
+    "dotnet",
+    "clr",
+    "runtime",
+    "primitives",
+    "interop",
+    "csharp",
+    "tsonic"
+  ],
+  "author": "Tsonic Team",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/tsoniclang/core.git"
+  },
+  "bugs": {
+    "url": "https://github.com/tsoniclang/core/issues"
+  },
+  "homepage": "https://github.com/tsoniclang/core#readme",
+  "devDependencies": {
+    "typescript": "^5.7.2"
+  }
+}

package/src/types.ts

@@ -0,0 +1,57 @@
+/**
+ * @tsonic/core - Type Definitions
+ *
+ * TypeScript type aliases for CLR/.NET runtime primitives.
+ *
+ * IMPORTANT: These are simple type aliases with NO runtime enforcement.
+ * TypeScript treats all numeric types as `number`, bool as `boolean`, etc.
+ * Tsonic enforces semantic correctness at compile time via its proof system.
+ *
+ * TypeScript will NOT catch type errors between int/byte/long etc.
+ * Only Tsonic compilation validates numeric correctness.
+ *
+ * @example
+ * ```typescript
+ * import { int, float, bool } from "@tsonic/core/types.js";
+ *
+ * const age: int = 42 as int;        // Tsonic validates 42 fits in Int32
+ * const temp: float = 98.6 as float; // Tsonic validates for Single
+ * const isActive: bool = true;       // bool is just boolean
+ * ```
+ */
+
+// Signed integer types
+export type sbyte = number; // System.SByte (-128 to 127)
+export type short = number; // System.Int16 (-32,768 to 32,767)
+export type int = number; // System.Int32 (-2,147,483,648 to 2,147,483,647)
+export type long = number; // System.Int64 (approx -9.2e18 to 9.2e18)
+export type nint = number; // System.IntPtr (native int)
+export type int128 = number; // System.Int128 (128-bit signed)
+
+// Unsigned integer types
+export type byte = number; // System.Byte (0 to 255)
+export type ushort = number; // System.UInt16 (0 to 65,535)
+export type uint = number; // System.UInt32 (0 to 4,294,967,295)
+export type ulong = number; // System.UInt64 (approx 0 to 1.8e19)
+export type nuint = number; // System.UIntPtr (native uint)
+export type uint128 = number; // System.UInt128 (128-bit unsigned)
+
+// Floating-point types
+export type half = number; // System.Half (16-bit float)
+export type float = number; // System.Single (32-bit float)
+export type double = number; // System.Double (64-bit float)
+export type decimal = number; // System.Decimal (128-bit decimal)
+
+// Other primitive types
+export type bool = boolean; // System.Boolean
+export type char = string; // System.Char (single UTF-16 code unit)
+// Tsonic enforces char must be length-1 literal or proven conversion
+
+// Pointer type
+// Represents C# unsafe pointer types (T*, void*, int*, etc.)
+// 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.