Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Move to Static Dispatch in place of Abilities #7458

Open
smores56 opened this issue Jan 3, 2025 · 0 comments
Open

Move to Static Dispatch in place of Abilities #7458

smores56 opened this issue Jan 3, 2025 · 0 comments
Assignees
@smores56
Labels
can Relates to the Canonicalization compiler stage E-high Relative effort to fix expected to be high type checking Relates to type checking compiler stage
Milestone
Version 0.1.0

Comments

@smores56
Copy link
Collaborator

smores56 commented Jan 3, 2025

Static dispatch is a golang-like paradigm for discovery of functions that act on a given type at compile time. This will greatly simplify our trait-like code to simply use functions instead of having to define abilities.

Zulip discussion
proposal
@smores56 smores56 self-assigned this Jan 3, 2025
@smores56 smores56 added type checking Relates to type checking compiler stage can Relates to the Canonicalization compiler stage E-high Relative effort to fix expected to be high labels Jan 3, 2025
@smores56 smores56 changed the title Move to Static Dispatch instead of Abilities Move to Static Dispatch in place of Abilities Jan 3, 2025
@lukewilliamboswell lukewilliamboswell added this to the Version 0.1.0 milestone Jan 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@smores56 smores56

Labels
can Relates to the Canonicalization compiler stage E-high Relative effort to fix expected to be high type checking Relates to type checking compiler stage
Projects
None yet
Milestone
Version 0.1.0
Development

No branches or pull requests
2 participants
@lukewilliamboswell @smores56