4 ms·
I don't know if I'd say "ever", but it definitely won't be easy! Take a look at session types [0] if you haven't seen them! Type checking unrestricted message
by QuinnWilton 6y ago
I don't know if I'd say "ever", but it definitely won't be easy! Take a look at session types [0] if you haven't seen them!
Type checking unrestricted message passing would be difficult, but I can imagine a subset that's typeable.
[0] http://groups.inf.ed.ac.uk/abcd/index.html#about http://groups.inf.ed.ac.uk/abcd/index.html#about
- scythmic_waves 6y agoI haven't seen them, thanks! > Type checking unrestricted message passing would be difficult, but I can imagine a subset that's typeable. I'd love to see a discussion on this somewhere. I can totally imagine a world where it's true that "yes, you can't send messages of type X because the receiver can't pattern match on them in the way you expect, but what you're really trying to do is Y, and you _can_ send messages of type Z that accomplish Y."