v0.18.0

🏆 Highlights

• New experimental optype infer command for structural runtime type inference (docs)

  $ optype infer "import math; math.sqrt"
  (x: CanFloat | CanIndex) -> float
  
  $ optype infer "lambda x: x * 2"
  [R](x: CanMul[Literal[2], R]) -> R
  
  $ optype infer "lambda x: -x + x"
  [T: CanNeg[CanAdd[T, R]], R](x: T) -> R
  [T, R](x: CanNeg[T] & CanRAdd[T, R]) -> R

• Support for runtime type-checking of the optype.numpy.To* array-like types with beartype.
• Python 3.15 support (currently in beta)

Breaking changes

• Increased minimum supported Python version to 3.12+, and NumPy (optional) to 2.0+, following SPEC 0
• Removed the deprecated optype.typing.Just* re-exports in favor of optype.Just*.

What's Changed

optype.infer

• optype infer 🧙 by @jorenham in #620

optype.numpy

• Drop support for NumPy 1 by @jorenham in #609
• Upgrade numpy-typing-compat to v20260602 by @jorenham in #610
• numpy.To*: artisanal beartype support by @jorenham in #604

optype.typing

• remove deprecated optype.typing.Just* re-exports by @jorenham in #601

Dependencies

• Bump the actions group across 1 directory with 3 updates by @dependabot[bot] in #608
• Bump the actions group across 1 directory with 3 updates by @dependabot[bot] in #614

Continuous integration

• Bump the actions group with 2 updates by @dependabot[bot] in #600
• Bump the actions group with 2 updates by @dependabot[bot] in #607
• consistent CI matrix field ordering by @jorenham in #612
• Bump crate-ci/typos from 1.46.2 to 1.47.0 in the actions group by @dependabot[bot] in #613

Other Changes

• prepare for next release by @jorenham in #602
• some mypy_primer workflow tweaks by @jorenham in #603
• Drop py311 by @jorenham in #605
• Preliminary Python 3.15 support by @jorenham in #611
• lefthook.yml -> .lefthook.yml by @jorenham in #615
• update development dependencies by @jorenham in #616

Full Changelog: v0.17.1...v0.18.0