Suggested roadmap: start with the runtime
To validate that the model works in practice, the recommended order:
- Process micro-kernel: create a process with its own stack and heap.
- Basic scheduler: a loop alternating between two processes (start with work-stealing).
- IPC with
@transfer: validate that the source’s memory is invalidated after the transfer, the passing that moves, distinct from the copy (which preserves the source). - Death signal: the parent process receives
DOWNwhen the child dies, expressed as error-as-value in thecatch. - spawn-block coordinator: validate that the coordinator kills siblings correctly in the
one_for_allandrest_for_onestrategies.
The compiler comes later; the runtime is the foundation. If the model of isolated processes does not perform as expected, it is better to find that out early.