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

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

@@ -1779,7 +1779,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-binding"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "typepython-diagnostics",
  "typepython-syntax",
@@ -1787,7 +1787,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-checking"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "criterion",
  "proptest",
@@ -1802,7 +1802,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-cli"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "anyhow",
  "clap",
@@ -1835,7 +1835,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-config"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "serde",
  "thiserror",
@@ -1845,7 +1845,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-diagnostics"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "serde",
  "serde_json",
@@ -1853,7 +1853,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-emit"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "insta",
  "littrs-ruff-python-ast",
@@ -1866,7 +1866,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-graph"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "criterion",
  "typepython-binding",
@@ -1875,7 +1875,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-incremental"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "serde",
  "serde_json",
@@ -1887,7 +1887,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-lowering"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "criterion",
  "insta",
@@ -1902,7 +1902,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-lsp"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "anyhow",
  "criterion",
@@ -1917,6 +1917,7 @@ dependencies = [
  "typepython-emit",
  "typepython-graph",
  "typepython-incremental",
+ "typepython-lowering",
  "typepython-project",
  "typepython-syntax",
  "url",
@@ -1924,7 +1925,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-project"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "anyhow",
  "glob",
@@ -1938,7 +1939,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-syntax"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "criterion",
  "littrs-ruff-python-ast",
@@ -1952,7 +1953,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-target"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "serde",
 ]

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

@@ -15,13 +15,14 @@ members = [
     "crates/typepython_target",
 ]
 resolver = "3"
+exclude = ["fuzz"]
 
 [workspace.package]
 authors = ["unadlib"]
 edition = "2024"
 license = "MIT"
 rust-version = "1.94.0"
-version = "0.3.0"
+version = "0.4.0"
 
 [workspace.dependencies]
 anyhow = "1"

type_python-0.4.0/PKG-INFO

@@ -0,0 +1,175 @@
+Metadata-Version: 2.4
+Name: type-python
+Version: 0.4.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 :: 4 - Beta
+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 :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+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="160" />
+</p>
+
+<h1 align="center">TypePython</h1>
+
+<p align="center">
+  <strong>Write richer types in <code>.tpy</code>. Ship plain <code>.py</code> + <code>.pyi</code>.</strong>
+</p>
+
+---
+
+TypePython is a typed dialect of Python that compiles to standard `.py` + `.pyi`.
+It brings TypeScript-class ergonomics — `sealed` classes, exhaustive `match`,
+strict null checks, `unknown`, `interface`, `data class` — to a language whose
+output runs anywhere CPython runs.
+
+**No custom runtime. No per-checker plugin. No vendor lock-in.**
+
+> Status: **Core v1 Beta** (v0.4.0). Core syntax, config, `init`/`check`/`build`/
+> `clean`/`verify`, diagnostic code identity, and emitted `.py`/`.pyi` compatibility
+> are the stable Beta surfaces. LSP UX, adapter manifests, runtime validators, and
+> migration heuristics remain prototype/experimental.
+> Bug reports and contributions are very welcome.
+
+## Install
+
+```bash
+pip install type-python
+typepython init --dir hello && cd hello
+typepython check --project .
+typepython build --project .
+```
+
+You now have `.typepython/build/` with `.py` + `.pyi` + `py.typed` ready for
+any Python interpreter, IDE, or downstream type checker.
+
+- **Wheels** are prebuilt for Windows AMD64, macOS x86_64, macOS arm64, and Linux x86_64.
+  Other platforms fall back to source and need Rust + `cargo`.
+- **Python**: the package bridge supports 3.9+; generated projects target Python 3.10 through 3.14.
+
+## See it in 15 lines
+
+```python
+# src/app/expr.tpy
+
+sealed class Expr:
+    pass
+
+class Num(Expr):  value: int
+class Add(Expr):  left: Expr; right: Expr
+class Neg(Expr):  operand: 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)
+        case Neg(operand=o):         return -evaluate(o)
+    # No default branch needed — the compiler proves the match is exhaustive.
+    # Add a fourth subclass and TypePython tells you exactly where to update.
+```
+
+`typepython build` lowers that to ordinary Python and writes a matching `.pyi`
+that any modern type checker can consume — no TypePython runtime required.
+
+## What you write vs. what ships
+
+| You write (`.tpy`)                    | TypePython emits (`.py` / `.pyi`)                         |
+| ------------------------------------- | --------------------------------------------------------- |
+| `interface Drawable:`                 | `class Drawable(Protocol):`                               |
+| `data class User:`                    | `@dataclass class User:`                                  |
+| `sealed class Expr:`                  | ordinary class + `tpy:sealed` marker                      |
+| `overload def parse(...)`             | `@overload def parse(...)`                                |
+| `typealias Pair[T] = tuple[T, T]`     | `T = TypeVar("T")` + `Pair: TypeAlias = tuple[T, T]`      |
+| `def first[T](xs: list[T]) -> T:`     | inline generic on 3.13+, `TypeVar`-based on 3.10 – 3.12   |
+| `unsafe: eval(expr)`                  | valid Python, marker erased — runtime behavior preserved  |
+| `unknown` (must narrow before use)    | `object` in `.pyi`                                        |
+| `Partial[Config]` / `Pick[Config, …]` | expanded `TypedDict` shapes (PEP 655 / 705)               |
+
+## Why not just mypy / pyright / PEP 695?
+
+| Capability                                              | mypy strict | pyright strict | PEP 695 `.py` | **TypePython `.tpy`** |
+| ------------------------------------------------------- | :---------: | :------------: | :-----------: | :-------------------: |
+| `sealed class` + compiler-proved exhaustiveness         |      —      |       —        |       —       |          ✅           |
+| `unknown` — safe dynamic boundary, must narrow          |      —      |       —        |       —       |          ✅           |
+| `unsafe:` audit fence for `eval` / `exec` / `setattr`   |      —      |       —        |       —       |          ✅           |
+| First-class `interface` / `data class` / `typealias`    |    via      |     via        |    via        |     keyword           |
+| Inline generics `def f[T]` on **any** target ≥ 3.10     |     3.12+   |     3.12+      |     3.12+     |          ✅           |
+| `TypedDict` transforms (`Partial`, `Pick`, `Readonly`…) |      —      |       —        |       —       |          ✅           |
+| Output consumed by mypy / pyright / ty unmodified       |     N/A     |     N/A        |       ✅       |          ✅           |
+
+TypePython doesn't replace those checkers. It sits **one step earlier**: you
+author in `.tpy`, the compiler emits standard typed Python that those tools
+then consume normally.
+
+## What you also get
+
+- **Rust-native, incremental compiler** — public-API fingerprints skip
+  downstream rechecks when only a body changes.
+- **Full toolchain** — `init`, `check`, `build`, `watch`, `clean`, `verify`,
+  `compat`, `api-diff`, `type-health`, `migrate`, `lsp`.
+- **LSP server** — hover, go to definition, references, rename, completions,
+  signature help, real-time diagnostics, and code-action quick fixes.
+  Bring your own LSP-capable editor (VS Code, Neovim, Helix, Sublime, Emacs).
+- **Standard, portable output** — emitted `.py` + `.pyi` work with mypy,
+  pyright, and ty out of the box. PEP 561 `py.typed` is written automatically.
+- **Mixed projects** — `.tpy`, `.py`, and `.pyi` live in the same source tree.
+  `.py` is pass-through; `.pyi` is stub-authoritative.
+
+## For library authors
+
+Five commands aimed at people who *publish* typed Python:
+
+```bash
+typepython build       --project .
+typepython verify      --project . --checker-preset all
+typepython compat      --project . --profile library-portable
+typepython api-diff    dist/previous.whl .typepython/build
+typepython type-health --project . --fail-under 85
+```
+
+These catch missing/stale `py.typed`, wheel ↔ build-tree drift, multi-checker
+portability gaps, public-API drift between releases, and runtime-annotation
+hazards for frameworks that introspect annotations.
+
+## 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)
+- [Diagnostics (TPYxxxx codes)](https://github.com/type-python/type-python/blob/main/docs/diagnostics.md)
+- [LSP Integration](https://github.com/type-python/type-python/blob/main/docs/lsp.md)
+- [Interoperability](https://github.com/type-python/type-python/blob/main/docs/interop.md)
+- [Migration Guide](https://github.com/type-python/type-python/blob/main/docs/migration-guide.md)
+- [Framework Adapters](https://github.com/type-python/type-python/blob/main/docs/framework-adapters.md)
+- [Beta Readiness](https://github.com/type-python/type-python/blob/main/docs/beta-readiness.md)
+- [Language Spec v1](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 / bug reports](https://github.com/type-python/type-python/issues)
+- [Contributing](https://github.com/type-python/type-python/blob/main/docs/contributing.md)
+- [License (MIT)](https://github.com/type-python/type-python/blob/main/LICENSE)

type_python-0.4.0/README-PyPI.md

@@ -0,0 +1,146 @@
+<p align="center">
+  <img src="https://raw.githubusercontent.com/type-python/type-python/main/logo.png" alt="TypePython" width="160" />
+</p>
+
+<h1 align="center">TypePython</h1>
+
+<p align="center">
+  <strong>Write richer types in <code>.tpy</code>. Ship plain <code>.py</code> + <code>.pyi</code>.</strong>
+</p>
+
+---
+
+TypePython is a typed dialect of Python that compiles to standard `.py` + `.pyi`.
+It brings TypeScript-class ergonomics — `sealed` classes, exhaustive `match`,
+strict null checks, `unknown`, `interface`, `data class` — to a language whose
+output runs anywhere CPython runs.
+
+**No custom runtime. No per-checker plugin. No vendor lock-in.**
+
+> Status: **Core v1 Beta** (v0.4.0). Core syntax, config, `init`/`check`/`build`/
+> `clean`/`verify`, diagnostic code identity, and emitted `.py`/`.pyi` compatibility
+> are the stable Beta surfaces. LSP UX, adapter manifests, runtime validators, and
+> migration heuristics remain prototype/experimental.
+> Bug reports and contributions are very welcome.
+
+## Install
+
+```bash
+pip install type-python
+typepython init --dir hello && cd hello
+typepython check --project .
+typepython build --project .
+```
+
+You now have `.typepython/build/` with `.py` + `.pyi` + `py.typed` ready for
+any Python interpreter, IDE, or downstream type checker.
+
+- **Wheels** are prebuilt for Windows AMD64, macOS x86_64, macOS arm64, and Linux x86_64.
+  Other platforms fall back to source and need Rust + `cargo`.
+- **Python**: the package bridge supports 3.9+; generated projects target Python 3.10 through 3.14.
+
+## See it in 15 lines
+
+```python
+# src/app/expr.tpy
+
+sealed class Expr:
+    pass
+
+class Num(Expr):  value: int
+class Add(Expr):  left: Expr; right: Expr
+class Neg(Expr):  operand: 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)
+        case Neg(operand=o):         return -evaluate(o)
+    # No default branch needed — the compiler proves the match is exhaustive.
+    # Add a fourth subclass and TypePython tells you exactly where to update.
+```
+
+`typepython build` lowers that to ordinary Python and writes a matching `.pyi`
+that any modern type checker can consume — no TypePython runtime required.
+
+## What you write vs. what ships
+
+| You write (`.tpy`)                    | TypePython emits (`.py` / `.pyi`)                         |
+| ------------------------------------- | --------------------------------------------------------- |
+| `interface Drawable:`                 | `class Drawable(Protocol):`                               |
+| `data class User:`                    | `@dataclass class User:`                                  |
+| `sealed class Expr:`                  | ordinary class + `tpy:sealed` marker                      |
+| `overload def parse(...)`             | `@overload def parse(...)`                                |
+| `typealias Pair[T] = tuple[T, T]`     | `T = TypeVar("T")` + `Pair: TypeAlias = tuple[T, T]`      |
+| `def first[T](xs: list[T]) -> T:`     | inline generic on 3.13+, `TypeVar`-based on 3.10 – 3.12   |
+| `unsafe: eval(expr)`                  | valid Python, marker erased — runtime behavior preserved  |
+| `unknown` (must narrow before use)    | `object` in `.pyi`                                        |
+| `Partial[Config]` / `Pick[Config, …]` | expanded `TypedDict` shapes (PEP 655 / 705)               |
+
+## Why not just mypy / pyright / PEP 695?
+
+| Capability                                              | mypy strict | pyright strict | PEP 695 `.py` | **TypePython `.tpy`** |
+| ------------------------------------------------------- | :---------: | :------------: | :-----------: | :-------------------: |
+| `sealed class` + compiler-proved exhaustiveness         |      —      |       —        |       —       |          ✅           |
+| `unknown` — safe dynamic boundary, must narrow          |      —      |       —        |       —       |          ✅           |
+| `unsafe:` audit fence for `eval` / `exec` / `setattr`   |      —      |       —        |       —       |          ✅           |
+| First-class `interface` / `data class` / `typealias`    |    via      |     via        |    via        |     keyword           |
+| Inline generics `def f[T]` on **any** target ≥ 3.10     |     3.12+   |     3.12+      |     3.12+     |          ✅           |
+| `TypedDict` transforms (`Partial`, `Pick`, `Readonly`…) |      —      |       —        |       —       |          ✅           |
+| Output consumed by mypy / pyright / ty unmodified       |     N/A     |     N/A        |       ✅       |          ✅           |
+
+TypePython doesn't replace those checkers. It sits **one step earlier**: you
+author in `.tpy`, the compiler emits standard typed Python that those tools
+then consume normally.
+
+## What you also get
+
+- **Rust-native, incremental compiler** — public-API fingerprints skip
+  downstream rechecks when only a body changes.
+- **Full toolchain** — `init`, `check`, `build`, `watch`, `clean`, `verify`,
+  `compat`, `api-diff`, `type-health`, `migrate`, `lsp`.
+- **LSP server** — hover, go to definition, references, rename, completions,
+  signature help, real-time diagnostics, and code-action quick fixes.
+  Bring your own LSP-capable editor (VS Code, Neovim, Helix, Sublime, Emacs).
+- **Standard, portable output** — emitted `.py` + `.pyi` work with mypy,
+  pyright, and ty out of the box. PEP 561 `py.typed` is written automatically.
+- **Mixed projects** — `.tpy`, `.py`, and `.pyi` live in the same source tree.
+  `.py` is pass-through; `.pyi` is stub-authoritative.
+
+## For library authors
+
+Five commands aimed at people who *publish* typed Python:
+
+```bash
+typepython build       --project .
+typepython verify      --project . --checker-preset all
+typepython compat      --project . --profile library-portable
+typepython api-diff    dist/previous.whl .typepython/build
+typepython type-health --project . --fail-under 85
+```
+
+These catch missing/stale `py.typed`, wheel ↔ build-tree drift, multi-checker
+portability gaps, public-API drift between releases, and runtime-annotation
+hazards for frameworks that introspect annotations.
+
+## 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)
+- [Diagnostics (TPYxxxx codes)](https://github.com/type-python/type-python/blob/main/docs/diagnostics.md)
+- [LSP Integration](https://github.com/type-python/type-python/blob/main/docs/lsp.md)
+- [Interoperability](https://github.com/type-python/type-python/blob/main/docs/interop.md)
+- [Migration Guide](https://github.com/type-python/type-python/blob/main/docs/migration-guide.md)
+- [Framework Adapters](https://github.com/type-python/type-python/blob/main/docs/framework-adapters.md)
+- [Beta Readiness](https://github.com/type-python/type-python/blob/main/docs/beta-readiness.md)
+- [Language Spec v1](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 / bug reports](https://github.com/type-python/type-python/issues)
+- [Contributing](https://github.com/type-python/type-python/blob/main/docs/contributing.md)
+- [License (MIT)](https://github.com/type-python/type-python/blob/main/LICENSE)