Erlang-style process relationships, adapted to Spawned's type system (no Pids — uses ActorRef<A> and Recipient<M>).
Linking (bidirectional):
- When a linked actor stops, the other is notified (and stopped, unless trapping exits)
start_linked() — start an actor linked to the caller
Monitoring (one-way):
- Observer receives a notification when the monitored actor stops
monitor() → MonitorRef
demonitor(monitor_ref)
Exit trapping:
trap_exit() — convert linked exit signals into messages instead of stopping
Design notes:
Part of Phase 3 (Supervision Trees) — see docs/ROADMAP.md.
Erlang-style process relationships, adapted to Spawned's type system (no Pids — uses
ActorRef<A>andRecipient<M>).Linking (bidirectional):
start_linked()— start an actor linked to the callerMonitoring (one-way):
monitor()→MonitorRefdemonitor(monitor_ref)Exit trapping:
trap_exit()— convert linked exit signals into messages instead of stoppingDesign notes:
Pidtype — link/monitor targets are identified viaActorReforRecipientPart of Phase 3 (Supervision Trees) — see
docs/ROADMAP.md.