type-python 0.1.1__tar.gz → 0.3.0__tar.gz

{type_python-0.1.1 → type_python-0.3.0}/Cargo.lock

@@ -1779,7 +1779,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-binding"
-version = "0.1.1"
+version = "0.3.0"
 dependencies = [
  "typepython-diagnostics",
  "typepython-syntax",
@@ -1787,20 +1787,22 @@ dependencies = [
 
 [[package]]
 name = "typepython-checking"
-version = "0.1.1"
+version = "0.3.0"
 dependencies = [
  "criterion",
+ "proptest",
  "typepython-binding",
  "typepython-config",
  "typepython-diagnostics",
  "typepython-graph",
  "typepython-incremental",
  "typepython-syntax",
+ "typepython-target",
 ]
 
 [[package]]
 name = "typepython-cli"
-version = "0.1.1"
+version = "0.3.0"
 dependencies = [
  "anyhow",
  "clap",
@@ -1813,6 +1815,7 @@ dependencies = [
  "serde",
  "serde_json",
  "tar",
+ "toml",
  "tracing",
  "tracing-subscriber",
  "typepython-binding",
@@ -1826,21 +1829,23 @@ dependencies = [
  "typepython-lsp",
  "typepython-project",
  "typepython-syntax",
+ "typepython-target",
  "zip",
 ]
 
 [[package]]
 name = "typepython-config"
-version = "0.1.1"
+version = "0.3.0"
 dependencies = [
  "serde",
  "thiserror",
  "toml",
+ "typepython-target",
 ]
 
 [[package]]
 name = "typepython-diagnostics"
-version = "0.1.1"
+version = "0.3.0"
 dependencies = [
  "serde",
  "serde_json",
@@ -1848,7 +1853,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-emit"
-version = "0.1.1"
+version = "0.3.0"
 dependencies = [
  "insta",
  "littrs-ruff-python-ast",
@@ -1861,7 +1866,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-graph"
-version = "0.1.1"
+version = "0.3.0"
 dependencies = [
  "criterion",
  "typepython-binding",
@@ -1870,18 +1875,19 @@ dependencies = [
 
 [[package]]
 name = "typepython-incremental"
-version = "0.1.1"
+version = "0.3.0"
 dependencies = [
  "serde",
  "serde_json",
  "typepython-binding",
  "typepython-graph",
  "typepython-syntax",
+ "typepython-target",
 ]
 
 [[package]]
 name = "typepython-lowering"
-version = "0.1.1"
+version = "0.3.0"
 dependencies = [
  "criterion",
  "insta",
@@ -1891,11 +1897,12 @@ dependencies = [
  "proptest",
  "typepython-diagnostics",
  "typepython-syntax",
+ "typepython-target",
 ]
 
 [[package]]
 name = "typepython-lsp"
-version = "0.1.1"
+version = "0.3.0"
 dependencies = [
  "anyhow",
  "criterion",
@@ -1917,7 +1924,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-project"
-version = "0.1.1"
+version = "0.3.0"
 dependencies = [
  "anyhow",
  "glob",
@@ -1931,7 +1938,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-syntax"
-version = "0.1.1"
+version = "0.3.0"
 dependencies = [
  "criterion",
  "littrs-ruff-python-ast",
@@ -1939,9 +1946,17 @@ dependencies = [
  "littrs-ruff-text-size",
  "proptest",
  "serde",
+ "toml",
  "typepython-diagnostics",
 ]
 
+[[package]]
+name = "typepython-target"
+version = "0.3.0"
+dependencies = [
+ "serde",
+]
+
 [[package]]
 name = "unarray"
 version = "0.1.4"

{type_python-0.1.1 → type_python-0.3.0}/Cargo.toml

@@ -12,6 +12,7 @@ members = [
     "crates/typepython_lsp",
     "crates/typepython_project",
     "crates/typepython_syntax",
+    "crates/typepython_target",
 ]
 resolver = "3"
 
@@ -19,8 +20,8 @@ resolver = "3"
 authors = ["unadlib"]
 edition = "2024"
 license = "MIT"
-rust-version = "1.85"
-version = "0.1.1"
+rust-version = "1.94.0"
+version = "0.3.0"
 
 [workspace.dependencies]
 anyhow = "1"

type_python-0.3.0/PKG-INFO

@@ -0,0 +1,118 @@
+Metadata-Version: 2.4
+Name: type-python
+Version: 0.3.0
+Summary: A statically-typed authoring language that compiles to standard Python
+Author: unadlib
+License-Expression: MIT
+Project-URL: Homepage, https://github.com/type-python/type-python
+Project-URL: Repository, https://github.com/type-python/type-python
+Project-URL: Documentation, https://github.com/type-python/type-python/tree/main/docs
+Project-URL: Issues, https://github.com/type-python/type-python/issues
+Keywords: typepython,type-checking,compiler,python,static-typing
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Developers
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.9
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Rust
+Classifier: Topic :: Software Development :: Compilers
+Classifier: Topic :: Software Development :: Quality Assurance
+Classifier: Typing :: Typed
+Requires-Python: >=3.9
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Dynamic: license-file
+
+<p align="center">
+  <img src="https://raw.githubusercontent.com/type-python/type-python/main/logo.png" alt="TypePython" width="128" />
+</p>
+
+<h1 align="center">TypePython</h1>
+
+<p align="center">
+  <strong>Write richer types. Emit standard Python.</strong>
+</p>
+
+---
+
+A statically-typed authoring language that compiles to standard Python.
+
+Write `.tpy` source files with `interface`, `data class`, `sealed class`, inline generics, and strict null safety. The compiler emits standard `.py` + `.pyi` files for Python 3.10-3.14. No custom runtime, no vendor lock-in.
+
+## Install
+
+```bash
+pip install type-python
+typepython --help
+```
+
+The Python package bridge supports **Python 3.9+**. Generated projects can target **Python 3.10 through 3.14**.
+
+Published wheels bundle the Rust CLI binary. Prebuilt wheels are available for Windows AMD64, macOS x86_64, macOS arm64, and Linux x86_64. Other platforms fall back to the source distribution and require Rust + `cargo`.
+
+## Quick Start
+
+```bash
+typepython init --dir my-project
+cd my-project
+typepython check --project .
+typepython build --project .
+```
+
+Example source:
+
+```python
+# src/app/__init__.tpy
+
+sealed class Expr:
+    pass
+
+data class Num(Expr):
+    value: int
+
+data class Add(Expr):
+    left: Expr
+    right: Expr
+
+def evaluate(expr: Expr) -> int:
+    match expr:
+        case Num(value=v):
+            return v
+        case Add(left=l, right=r):
+            return evaluate(l) + evaluate(r)
+    # Compiler proves all cases are covered -- no default needed.
+```
+
+## What You Get
+
+| Your code (`.tpy`)                | Emitted output (`.py` / `.pyi`)                    |
+| --------------------------------- | -------------------------------------------------- |
+| `sealed class Expr:`              | `class Expr:  # tpy:sealed`                        |
+| `data class Num(Expr):`           | `@dataclass` plus ordinary `class Num(Expr):`      |
+| `interface Drawable:`             | `class Drawable(Protocol):`                        |
+| `overload def f(x: int) -> int:`  | `@overload` plus ordinary `def f(x: int) -> int:`  |
+| `typealias Pair[T] = tuple[T, T]` | `T = TypeVar("T"); Pair: TypeAlias = tuple[T, T]`  |
+
+- **Rich type system** -- `unknown`, `dynamic`, `Never`, strict nulls, sealed exhaustiveness, generic defaults, TypeVarTuple
+- **TypedDict utilities** -- `Partial`, `Required_`, `Readonly`, `Mutable`, `Pick`, `Omit`
+- **Full toolchain** -- `init`, `check`, `build`, `watch`, `clean`, `verify`, `lsp`, `migrate`
+- **LSP server** -- hover, go-to-definition, references, rename, completions, signature help, diagnostics
+- **Standard output** -- emitted `.py` + `.pyi` work with mypy, pyright, and ty out of the box
+
+## Documentation
+
+- [Getting Started](https://github.com/type-python/type-python/blob/main/docs/getting-started.md)
+- [Syntax Guide](https://github.com/type-python/type-python/blob/main/docs/syntax-guide.md)
+- [Type System](https://github.com/type-python/type-python/blob/main/docs/type-system.md)
+- [Configuration](https://github.com/type-python/type-python/blob/main/docs/configuration.md)
+- [CLI Reference](https://github.com/type-python/type-python/blob/main/docs/cli-reference.md)
+- [Interoperability](https://github.com/type-python/type-python/blob/main/docs/interop.md)
+- [Language Spec](https://github.com/type-python/type-python/blob/main/docs/spec/language-spec-v1.md)
+
+## Links
+
+- [Repository](https://github.com/type-python/type-python)
+- [Issues](https://github.com/type-python/type-python/issues)
+- [License (MIT)](https://github.com/type-python/type-python/blob/main/LICENSE)

type_python-0.3.0/README-PyPI.md

@@ -0,0 +1,91 @@
+<p align="center">
+  <img src="https://raw.githubusercontent.com/type-python/type-python/main/logo.png" alt="TypePython" width="128" />
+</p>
+
+<h1 align="center">TypePython</h1>
+
+<p align="center">
+  <strong>Write richer types. Emit standard Python.</strong>
+</p>
+
+---
+
+A statically-typed authoring language that compiles to standard Python.
+
+Write `.tpy` source files with `interface`, `data class`, `sealed class`, inline generics, and strict null safety. The compiler emits standard `.py` + `.pyi` files for Python 3.10-3.14. No custom runtime, no vendor lock-in.
+
+## Install
+
+```bash
+pip install type-python
+typepython --help
+```
+
+The Python package bridge supports **Python 3.9+**. Generated projects can target **Python 3.10 through 3.14**.
+
+Published wheels bundle the Rust CLI binary. Prebuilt wheels are available for Windows AMD64, macOS x86_64, macOS arm64, and Linux x86_64. Other platforms fall back to the source distribution and require Rust + `cargo`.
+
+## Quick Start
+
+```bash
+typepython init --dir my-project
+cd my-project
+typepython check --project .
+typepython build --project .
+```
+
+Example source:
+
+```python
+# src/app/__init__.tpy
+
+sealed class Expr:
+    pass
+
+data class Num(Expr):
+    value: int
+
+data class Add(Expr):
+    left: Expr
+    right: Expr
+
+def evaluate(expr: Expr) -> int:
+    match expr:
+        case Num(value=v):
+            return v
+        case Add(left=l, right=r):
+            return evaluate(l) + evaluate(r)
+    # Compiler proves all cases are covered -- no default needed.
+```
+
+## What You Get
+
+| Your code (`.tpy`)                | Emitted output (`.py` / `.pyi`)                    |
+| --------------------------------- | -------------------------------------------------- |
+| `sealed class Expr:`              | `class Expr:  # tpy:sealed`                        |
+| `data class Num(Expr):`           | `@dataclass` plus ordinary `class Num(Expr):`      |
+| `interface Drawable:`             | `class Drawable(Protocol):`                        |
+| `overload def f(x: int) -> int:`  | `@overload` plus ordinary `def f(x: int) -> int:`  |
+| `typealias Pair[T] = tuple[T, T]` | `T = TypeVar("T"); Pair: TypeAlias = tuple[T, T]`  |
+
+- **Rich type system** -- `unknown`, `dynamic`, `Never`, strict nulls, sealed exhaustiveness, generic defaults, TypeVarTuple
+- **TypedDict utilities** -- `Partial`, `Required_`, `Readonly`, `Mutable`, `Pick`, `Omit`
+- **Full toolchain** -- `init`, `check`, `build`, `watch`, `clean`, `verify`, `lsp`, `migrate`
+- **LSP server** -- hover, go-to-definition, references, rename, completions, signature help, diagnostics
+- **Standard output** -- emitted `.py` + `.pyi` work with mypy, pyright, and ty out of the box
+
+## Documentation
+
+- [Getting Started](https://github.com/type-python/type-python/blob/main/docs/getting-started.md)
+- [Syntax Guide](https://github.com/type-python/type-python/blob/main/docs/syntax-guide.md)
+- [Type System](https://github.com/type-python/type-python/blob/main/docs/type-system.md)
+- [Configuration](https://github.com/type-python/type-python/blob/main/docs/configuration.md)
+- [CLI Reference](https://github.com/type-python/type-python/blob/main/docs/cli-reference.md)
+- [Interoperability](https://github.com/type-python/type-python/blob/main/docs/interop.md)
+- [Language Spec](https://github.com/type-python/type-python/blob/main/docs/spec/language-spec-v1.md)
+
+## Links
+
+- [Repository](https://github.com/type-python/type-python)
+- [Issues](https://github.com/type-python/type-python/issues)
+- [License (MIT)](https://github.com/type-python/type-python/blob/main/LICENSE)

{type_python-0.1.1 → type_python-0.3.0}/README.md

@@ -1,14 +1,26 @@
-# TypePython
-
-[![PyPI](https://img.shields.io/pypi/v/type-python)](https://pypi.org/project/type-python/)
-[![CI](https://github.com/type-python/type-python/actions/workflows/rust.yml/badge.svg)](https://github.com/type-python/type-python/actions/workflows/rust.yml)
-[![License: MIT](https://img.shields.io/badge/license-MIT-blue.svg)](LICENSE)
-[![Python 3.9+](https://img.shields.io/badge/python-3.9%2B-blue.svg)](https://www.python.org/)
-[![Rust](https://img.shields.io/badge/rust-msrv%201.85-orange.svg)](https://www.rust-lang.org/)
-
-**A statically-typed authoring language that compiles to standard Python.**
-
-Write `.tpy` files with `interface`, `data class`, `sealed class`, inline generics, and strict null safety. The compiler emits standard `.py` + `.pyi` artifacts for Python 3.10-3.12, using standard typing constructs and `typing_extensions` backports where needed, so the result can be checked by tools like mypy, pyright, or ty. No custom runtime, no proprietary type forms.
+<p align="center">
+  <img src="logo.png" alt="TypePython" width="128" />
+</p>
+
+<h1 align="center">TypePython</h1>
+
+<p align="center">
+  <strong>Write richer types. Emit standard Python.</strong>
+</p>
+
+<p align="center">
+  <a href="https://pypi.org/project/type-python/"><img src="https://img.shields.io/pypi/v/type-python" alt="PyPI" /></a>
+  <a href="https://github.com/type-python/type-python/actions/workflows/rust.yml"><img src="https://github.com/type-python/type-python/actions/workflows/rust.yml/badge.svg" alt="CI" /></a>
+  <a href="LICENSE"><img src="https://img.shields.io/badge/license-MIT-blue.svg" alt="License: MIT" /></a>
+  <a href="https://www.python.org/"><img src="https://img.shields.io/badge/python-3.9%2B-blue.svg" alt="Python 3.9+" /></a>
+  <a href="https://www.rust-lang.org/"><img src="https://img.shields.io/badge/rust-msrv%201.94.0-orange.svg" alt="Rust" /></a>
+</p>
+
+<p align="center">
+  A statically-typed authoring language that compiles to standard Python.<br/>
+  <code>interface</code>, <code>data class</code>, <code>sealed class</code>, inline generics, strict null safety — then pure <code>.py</code>&nbsp;+&nbsp;<code>.pyi</code> out.<br/>
+  No custom runtime. No vendor lock-in.
+</p>
 
 ---
 
@@ -19,9 +31,11 @@ pip install type-python
 typepython --help
 ```
 
-The Python package bridge supports Python 3.9+. Generated TypePython projects currently target Python 3.10, 3.11, or 3.12.
-Published wheels are platform-specific because they bundle the Rust CLI binary. Supported releases publish prebuilt wheels for Windows AMD64, macOS x86_64, macOS arm64, and Linux x86_64, so those platforms can install and run TypePython without Rust. Other platforms fall back to the source distribution and require Rust + `cargo`.
-The workspace MSRV is Rust 1.85. `./scripts/bootstrap-rust.sh` installs the pinned Rust 1.94.0 development toolchain used by CI.
+The Python package bridge supports **Python 3.9+**. Generated TypePython projects can target **Python 3.10 through 3.14**.
+
+Published wheels are platform-specific because they bundle the Rust CLI binary. Prebuilt wheels are available for Windows AMD64, macOS x86_64, macOS arm64, and Linux x86_64. Other platforms fall back to the source distribution and require Rust + `cargo`.
+
+The workspace MSRV is Rust 1.94.0. `./scripts/bootstrap-rust.sh` installs the same Rust 1.94.0 toolchain used by CI.
 
 Or build from source:
 
@@ -71,7 +85,7 @@ The compiler outputs:
 | `def first[T](xs: list[T]) -> T:` | Materialized `TypeVar` plus ordinary generic `def` |
 | `unsafe: eval(expr)`              | `if True: eval(expr)`                              |
 
-Emitted `.py` and `.pyi` use standard Python typing constructs plus `typing_extensions` compatibility imports when needed for the configured target version. Downstream consumers never need the TypePython compiler or a TypePython-specific runtime.
+Emitted `.py` and `.pyi` use standard Python typing constructs plus `typing_extensions` compatibility imports when needed for the configured target version. Targets 3.10-3.12 default to `emit.emit_style = "compat"`, while 3.13+ default to `emit.emit_style = "native"`. Downstream consumers never need the TypePython compiler or a TypePython-specific runtime.
 
 ## Why TypePython
 
@@ -107,15 +121,15 @@ TypePython is an authoring layer, not a replacement for external checkers. One i
 
 ## Features
 
-- **Compiles to Python** -- `.tpy` emits standard `.py` + `.pyi` for target Python 3.10-3.12, using `typing_extensions` compatibility imports when needed ([syntax guide](docs/syntax-guide.md))
+- **Compiles to Python** -- `.tpy` emits standard `.py` + `.pyi` for target Python 3.10-3.14, with compat/native emit styles chosen by target or overridden explicitly ([syntax guide](docs/syntax-guide.md))
 - **Rich type system** -- `unknown`, `dynamic`, `Never`, strict nulls, sealed exhaustiveness, generic defaults, TypeVarTuple ([type system](docs/type-system.md))
 - **Syntax extensions** -- `interface`, `data class`, `sealed class`, `overload def`, `typealias`, `unsafe:`, inline type parameters ([syntax guide](docs/syntax-guide.md))
 - **TypedDict utilities** -- `Partial`, `Required_`, `Readonly`, `Mutable`, `Pick`, `Omit` ([type system](docs/type-system.md))
-- **Incremental state and caching** -- fingerprint snapshots, cached artifacts, and LSP rechecks for changed modules plus affected dependents ([architecture](docs/architecture.md))
+- **Incremental state and caching** -- fingerprint snapshots, materialized-build manifests, and dependency-driven CLI/LSP rechecks for changed modules plus affected dependents ([architecture](docs/architecture.md))
 - **Full toolchain** -- `init`, `check`, `build`, `watch`, `clean`, `verify`, `migrate` ([CLI reference](docs/cli-reference.md))
 - **LSP server** -- hover, go-to-definition, references, rename, completions, signature help, document symbols, workspace symbols, formatting, code actions, real-time diagnostics ([LSP](docs/lsp.md))
 - **Publication-ready** -- `typepython verify` performs structural publication checks by default, validates packaged wheel/sdist contents, and can opt into runtime import parity checks for trusted builds ([interop](docs/interop.md))
-- **Bundled stdlib stubs** -- typing data for Python 3.10-3.12 standard library, no external dependencies
+- **Bundled stdlib stubs** -- typing data for Python 3.10-3.14 standard library, no external dependencies
 
 ## Examples