A concurrent programming language with a linear type and effect system
A concurrent programming language with a linear type and effect system
On this page, we will show the examples used in our paper.
As can be seen, the code snippet below is not exactly the same as the one in listing 3 of the paper:
These changes do not affect the idea we want to convey with this code example: the creation, reading and resolving of promises still happen in exactly the same order.
Line 6 and 7 are switched.