dos/os2 extends dos by assuming that when the OS state is manipulated new processes can be created. A simple example is included in the source.
procedure ( os2-boot +curpszero) → state? (treeof(-> state?state?)) +:(-> state?state?state?) cur:state? ps:(treeof(-> state?state?)) zero:state?
procedure ( os2-boot +curpszero) → state? (treeof(-> state?state?))
procedure
procedure( os2-write st[#:threadsts])→state? st:state? ts:(treeof(-> state?state?))=null
procedure( os2-write st[#:threadsts])→state?
( os2-write st[#:threadsts])→state?
procedure( os2-exit st)→void? st:state?
procedure( os2-exit st)→void?
( os2-exit st)→void?
procedure( os2-test curp)→state? cur:state? p:(-> state?state?)
procedure( os2-test curp)→state?
( os2-test curp)→state?
AltStyle γ«γγ£γ¦ε€ζγγγγγΌγΈ (->γͺγͺγΈγγ«) / γ’γγ¬γΉ: γ’γΌγ: γγγ©γ«γ ι³ε£°γγ©γ¦γΆ γ«γδ»γ ι θ²εθ»’ ζεζ‘ε€§ γ’γγ€γ«