Unsafe cast #21

2026-06-24T11:59:57Z

HEL commented

2026-06-24 11:59:57 +00:00

This PR adds a typing submodule to Midas with two functions cast and unsafe_cast. These functions should be used instead of cast from the stdlib typing module.
unsafe_cast allows the user to tell the type checker the type of an expression without generating any runtime assertion. This can be useful when we want to avoid large amounts of computation at runtime, sacrificing a little safety for performance.

This PR adds a `typing` submodule to Midas with two functions `cast` and `unsafe_cast`. These functions should be used instead of `cast` from the stdlib `typing` module. `unsafe_cast` allows the user to tell the type checker the type of an expression without generating any runtime assertion. This can be useful when we want to avoid large amounts of computation at runtime, sacrificing a little safety for performance.

HEL self-assigned this 2026-06-24 11:59:57 +00:00

HEL added 3 commits 2026-06-24 11:59:58 +00:00

feat(checker): add typing submodule with cast functions 5fbe965919

feat: handle unsafe casts 9f05ba3224

chore: use unsafe_cast in demo script 5630320d21

HEL merged commit 2bb2e0a684 into main

2026-06-24 12:00:03 +00:00

HEL deleted branch feat/unsafe-cast

2026-06-24 12:00:03 +00:00

HEL referenced this issue from a commit

2026-06-24 12:00:04 +00:00

Merge pull request 'Unsafe cast' (#21) from feat/unsafe-cast into main