3 ms·
It should be possible to encode those constraints as part of the language. For example, the distinction between sync and async calls can be represented by havin
by Kinrany 5y ago
It should be possible to encode those constraints as part of the language. For example, the distinction between sync and async calls can be represented by having a Future type and wrapping the return type in it.
- znwu 5y agoSync and async are all about cooperatively yielding control flow. However, in many cases, you may want to yield control on IPC, or to hold onto control on RPC. Yielding control depends on the sender logic. IPC/RPC depends on receiver characteristics. They are very orthogonal concepts.