All Typing is icing on the cake.
We should focus on everything else first.
Essential Features that are not currently implemented 2018-01-12
- Non-linear bindings.
- ... Tuple capture
- @ Destructuring and Process vs Name tracking. This is a very simple typing, and probably all we should promise for Mercury
- IOPairs → requires support in the tuplespace library.
- Arithmetic expressions need to act on arbritrary processes, not just quantities. (So that *x + *x will compile)
- Name unforgeability
Caveats
Other requirements:
- Target library needs to be well documented.