This is necessary for writing "general communicators", like "randomly decide a number with another participant". The AST would change so that most Participants and Roles would become a kind of meta-variable.
A more advanced version would allow this to be done on arbitrary numbers of roles, rather than just fixed role-poly.
IMHO, thinking about these things as macros would be most productive.
This is necessary for writing "general communicators", like "randomly decide a number with another participant". The AST would change so that most
Participant
s andRole
s would become a kind of meta-variable.A more advanced version would allow this to be done on arbitrary numbers of roles, rather than just fixed role-poly.
IMHO, thinking about these things as macros would be most productive.