Stubs generator #17

HEL · 2026-06-20T15:42:12Z

HEL commented

2026-06-20 15:42:12 +00:00

This PR implements a simple stubs generator and a dedicate stubs command
The goal is to generate useful, importable Python stubs from a Midas definition file, helping other type checkers use custom types
For now, type definitions are implemented using classes. This forces named subtyping, where a type can only be a subtype of another type if the relation is somehow explicit through the type hierarchy.
Functions do use Protocols, which support structural subtyping.

Another mechanism that could be used are TypeAliases, provided by the typing module

This PR implements a simple stubs generator and a dedicate `stubs` command The goal is to generate useful, importable Python stubs from a Midas definition file, helping other type checkers use custom types For now, type definitions are implemented using classes. This forces named subtyping, where a type can only be a subtype of another type if the relation is somehow explicit through the type hierarchy. Functions do use `Protocol`s, which support structural subtyping. Another mechanism that could be used are `TypeAlias`es, provided by the `typing` module

HEL self-assigned this 2026-06-20 15:42:12 +00:00

HEL added 8 commits 2026-06-20 15:42:12 +00:00

fix(checker): store member kind in registry ff79f25628

fix(checker): allow substitutyping type vars in GenericType and TopType 0dc14f67aa

fix(checker): handle calls to AliasType 451e54b009

feat(gen): add base for stubs generator 3edc25d778

feat(cli): add stubs command ec468dd982

fix(cli): add missing methods to highlighter 9e83079910

fix(gen): handle ConstraintType in stubs generator b02ecc6326

fix(gen): handle TypeVar variance in stubs generator e4ab27673d

HEL added 1 commit 2026-06-20 15:44:27 +00:00

chore: add stubs command to README 3f48c2138f