Type Modalities #43
tiansivive
started this conversation in
Ideas
Replies: 1 comment 2 replies
-
The interesting modalities here, from modal and substructural logic, are:
Investigate temporal modalities for stream and event-based constructs |
Beta Was this translation helpful? Give feedback.
2 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Investigate leveraging (Graded) Modal types to track different invariants:
Beta Was this translation helpful? Give feedback.
All reactions