Oz - 一般的計算モデル(宣言的並列性(by-need 実行))

コンピュータプログラミングの概念・技法・モデル
(IT Architect' Archive
クラシックモダン・コンピューティング6)
(IT Architects’Archive CLASSIC MODER)
(翔泳社)
セイフ・ハリディ (著), ピーター・ヴァン・ロイ (著)
Peter Van-Roy (著), Seif Haridi (著), 羽永 洋 (翻訳)
原書: Concepts, Techniques,
and Models of Computer Programming

開発環境

• OS X Yosemite - Apple, Microsoft Windows 8.1 Pro (OS)
• Emacs (Text Editor)
• Oz (プログラミング言語)
• Mozartプログラミングシステム(Mozart 2) (実装)

コンピュータプログラミングの概念・技法・モデル(IT Architect' Archiveクラシックモダン・コンピューティング6) (IT Architects’Archive CLASSIC MODER)(セイフ・ハリディ (著)、ピーター・ヴァン・ロイ (著)、Peter Van-Roy (著)、 Seif Haridi (著)、羽永 洋　(翻訳)、翔泳社、原書: Concepts, Techniques, and Models of Computer Programming(CTM))の第部(一般的計算モデル)、第4章(宣言的並列性)、4.11(練習問題)、16.(by-need 実行)を解いてみる。

16.(by-need 実行)

コード(Emacs)

declare P X
proc {P X}
   {P X}
end

{ByNeed P X}
{Browse X}

出力結果(Emacs, Oz Compiler)

Mozart Compiler 2.0.0-alpha.0+build.4105.5c06ced (Tue, 2 Sep 2014 18:39:07 +0200) playing Oz 3

declare P X
proc {P X}
   {P X}
end

{ByNeed P X}
{Browse X}
Declared variables:
  P: procedure/1
  X: bitString ++ byteString ++ cell ++ array ++ bitArray ++ class ++ dictionary ++ lock ++ object ++ port ++ chunk ++ foreignPointer ++ fset ++ float ++ char ++ fdIntC ++ int ++ number ++ procedure/0 ++ procedure/1 ++ procedure/2 ++ procedure/3 ++ procedure/4 ++ procedure/5 ++ procedure/6 ++ procedure/>6 ++ cons ++ nilAtom ++ atom ++ bool ++ unit ++ name ++ literal ++ pair ++ tuple ++ record ++ recordC ++ space ++ thread ++ value
% -------------------- accepted