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.

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

pages as owned capabilities #418

Open
hawkw opened this issue Apr 6, 2023 · 1 comment
Open

pages as owned capabilities #418

hawkw opened this issue Apr 6, 2023 · 1 comment

Comments

@hawkw
Copy link
Owner

hawkw commented Apr 6, 2023

just an idea i had

@hawkw
Copy link
Owner Author

hawkw commented Dec 29, 2024

i think what i probably meant with this was "what if the Page type was like an owned RAII thing that meant you had actually mapped the page, and dropping it unmapped the page or whatever, and it could do typestate transitions to model things like R^W^X" , instead of being just like "ITS THIS ADDRESS LOL"?

but, honestly, it was over a year ago, so who knows what i was thinking...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant