Refactor, generics, methods, overloads and more #9

HEL · 2026-06-14T22:13:03Z

HEL commented

2026-06-14 22:13:03 +00:00

This PR is a bit messy. It groups many features and fixes including, but not limited to:

a refactor to split the checker into a proper Midas typer and a Python typer
generic types, with type variables
grouping of properties and methods as "members", stored separately in the registry (previously operations)
function overloads with resolution
builtin type methods and properties defined in a Midas file (including lists)
add option to compile command to show type judgements

Some things are not fully implemented / need some tidying, but I want to merge this branch and make new smaller ones before this one gets any more out of hand

This PR is a bit messy. It groups many features and fixes including, but not limited to: - a refactor to split the checker into a proper Midas typer and a Python typer - generic types, with type variables - grouping of properties and methods as "members", stored separately in the registry (previously operations) - function overloads with resolution - builtin type methods and properties defined in a Midas file (including lists) - add option to `compile` command to show type judgements Some things are not fully implemented / need some tidying, but I want to merge this branch and make new smaller ones before this one gets any more out of hand

HEL self-assigned this 2026-06-14 22:13:03 +00:00

HEL added 64 commits 2026-06-14 22:13:03 +00:00

feat(checker): add generic type structure f89722fad8

feat(resolver): handle generics definition 1d00875a8c

refactor(checker): move unfold_type to types.py d51d24f865

refactor(checker): move is_subtype to resolver f9c15abaf4

feat(resolver): handle generic application c4c142482a

feat(checker): add reporter class 111afe4dd4

refactor(checker): restructure around shared registry 2ff1f27614

restructure the type checker with a shared TypesRegistry used by MidasTyper and PythonTyper

this commit also relocates some methods in more appropriate places, such as is_subtype and apply_generic (now in TypesRegistry)

refactor(checker): unify builtins definitions 7236749bd5

refactor(resolver): move resolver to checker module 314d4d344b

fix: avoid circular import in builtins.py 098bbc35c5

feat(types): add name to generic type c1f95edc96

feat(checker): WIP add lists 5a6a279eaf

feat(types): WIP add AppliedType 9474a7336a

refactor(checker): extract reduce_types function 32207c3d6f

fix(checker): use reduce_types to infer return type 3581b7600b

fix(resolver): define variable on assignment a78aee1639

if a variable is not already defined when an assignment is visited, it is then defined in the current scope

feat(types): add human-friendly string rep 4715318913

add `__str__` methods on type structures to improve readability of diagnostics

refactor(types): extract TypeParams 380753ca7a

also rename generic type params to type args (when calling a generic)

feat(types): add type params to extend statement f8897dd075

feat: add function type to midas syntax 9fde115016

feat(parser): add extension type and rename properties 3d5f97a0f4

feat(parser): add new ast nodes to parser 900be47d34

feat(checker): adapt typers to members and extension type d9100d8300

fix(checker): improve error for recursive type ref ae0bd75f3b

fix(cli): show diagnostics from different files efea1b29e7

feat(cli): add option to show type judgements 650f60e70c

feat(parser): accept props and methods in extend 42284704de

fix(cli): update highlighter b3665c6462

feat(checker): add members registry 179b88bfed

feat(checker): implement lookup_member method b5de28e291

fix(checker): handle nested generic members 01ff5ca8d5

fix(checker): update binary operation lookup 2e898ab1e9

fix(checker): minor fix when using base type in generic 52981f12f2

fix(checker): give warning on unknown variable 2935c71366

feat(tests): update serializer 50eaafc388

feat(checker): define members on builtin types 6d6bb66c54

fix: extend example of complex types 84a5f41e62

feat(checker): add top type (Any) 4c9cbd9faa

feat(parser): add mixed arguments in midas functions 99924ee6c2

fix(parser): make name required for mixed and keyword args 109c8eb35a

fix(checker): gravefully handle unknown type 6f5d971c66

fix(checker): forward parsing errors as diagnostics eb223c6cb7

fix: remove unused op statement 3ee1161680

fix(checker): handle members on base type df2e609c60

fix(checker): remove in.to_bytes 9a227b6d4c

fix(checker): adapt comparison to lookup method 221b5ca926

tests: update tests 0d0115534b

refactor(checker): replace all accept calls 890e2f035a

make visitor accept calls more explicit with type_of(), resolve_type_expr() and process_stmt()

tests: update with newly reported judgements 064702fe13

fix(checker): report unsupported features 1c71badf24

feat(checker): handle unary operations 6577241af9

feat(parser): add subscript expressions c92b6b5c18

feat(checker): type check subscripts 178e24cd02

fix(types): remove unused operation structures 2df0380815

feat(checker): handle overloaded function calls 7598681729

chore: add examples for functions and overloads 46a22797b6

refactor(checker): unify call check for subscript 2a579c06b1

doc(checker): add docstrings to new call checks e1da87eaa0

feat(checker): resolve overloads with subtypes 0a35563aaf

try to find the most specific overload if multiple matches are found

tests: update with new subscript and call checks 35798e5752

invalid function calls now return UnknownType even if the function has a return type

feat(parser): add slice expression 1eedcff5aa

feat(checker): type check slice expressions 37a464d2bc

fix(checker): handle generic overloads bd0421b5d8

feat(checker): add slice overloads on lists 635bf73531

HEL merged commit 5b062b46e6 into main

2026-06-14 22:13:14 +00:00

HEL deleted branch feat/generics

2026-06-14 22:13:14 +00:00

HEL referenced this issue from a commit

2026-06-14 22:13:15 +00:00

Merge pull request 'Refactor, generics, methods, overloads and more' (#9) from feat/generics into main

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: HEL/midas#9