明示的状態をセルの代わりにポートオブジェクトで(CTMCP 6章あたり)

cell-portobject.oz

%セルをポートオブジェクトで表現し、明示的状態を導入
%しかし並列性が必要となる

declare NewPortObject
fun {NewPortObject Init Fun}
   Sin Sout in
   thread {FoldL Sin Fun Init Sout} end
   {NewPort Sin}
end

declare NewCell2 Set Get
%NewCell相当
fun {NewCell2 Init}
   {NewPortObject Init
    fun {$ U X}
       case X
       of set(X) then X
       [] get(X) then X=U U
       end
    end}
end
% := 相当
proc {Set Cell Value}
   {Send Cell set(Value)}
end
% @ 相当
fun {Get Cell}
   {Send Cell get($)}
end


declare Cell1={NewCell2 123} Cell2={NewCell2 rice}
{Browse {Get Cell1}}
{Browse {Get Cell2}}
{Set Cell1 456}
{Set Cell2 bread}
{Browse {Get Cell1}}
{Browse {Get Cell2}}
{Set Cell1 hoge}
{Browse {Get Cell1}}