HEL/midas
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Unsafe cast #21

Merged
HEL merged 3 commits from feat/unsafe-cast into main 2026-06-24 12:00:03 +00:00
Conversation 0 Commits 3 Files Changed 9 +59 -7
HEL commented 2026-06-24 11:59:57 +00:00
Owner
Copy Link

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
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
HEL
No Assignees HEL
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: HEL/midas#21
Delete Branch "feat/unsafe-cast"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?