Oz - 一般的計算モデル(宣言的計算モデル(制御抽象, andthen))

コンピュータプログラミングの概念・技法・モデル
(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 (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))の第部(一般的計算モデル)、第2章(宣言的計算モデル)、2.9(練習問題)、8-a.(制御抽象)を解いてみる。

8-a.(制御抽象)

% 呼び出し
local BP1 BP2 R in
   BP1={$ <expression>1}
   BP2={$ <expression>2}
   R={AndThen BP1 BP2}
   % R=if {{$ <expression>1}} then {{$ <expression>2}} else false end
   % R=if <expression>1 then {{$ <expression>2}} else false end
   % <expression>1が真なら、{{$ <expression>2}}、<expression>2
   % <expression>1が偽なら、<expression>2を計算する必要はなく、false
end

% <expression>1 <andthen>2 を翻訳
if <expression>1 then <andthen>2 else false end

local R in
   R=<expression>1 then <expression>2 else false end
   % <expression>1が真なら、<expression>2
   % <expression>1が偽なら、<expression>2を計算する必要はなく、false
end

% よって同じ結果になる