Design

There are many language design challenges that we are confronting in the near term. When we adopt a solution, it will be documented in our reference manual, etc. But the discussion about alternatives and how we are choosing between them, has its place on this wiki.

Current topics:

• Choice: how best to express choice where one of many different kinds of events can happen?
• Annotations: how best to enrich the core lambda calculus with annotations for the multiparty computation and/or economic aspects of the language?
• Shared State: how best to represent state that is shared between many interactions?
• VM how best to design our virtual machine?
• Incentives how best to design participation incentives?