Array-ports type information (avoid deadlocks) #157
emil14
started this conversation in
Type System
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
It's possible to abuse array ports and get maybe deadlock or something and the thing is it maybe can be fixed by introducing new abstractions like "port array dependency". E.g:
Problems
What about not 1-1 mapping? Introduce some sort of algebra?
#109
Beta Was this translation helpful? Give feedback.
All reactions