Guarded Command Language
擬似コード:
if error = True then x := 0
GCLの場合:
if {\displaystyle {\mbox{if}}} e r r o r = True → x := 0 {\displaystyle error={\mbox{True}}\rightarrow x:=0} [ ] e r r o r = False → skip {\displaystyle []\ error={\mbox{False}}\rightarrow {\mbox{skip}}}
fi {\displaystyle {\mbox{fi}}}
2つ目のガードを省いた場合、error = False なら、結果は Abort となる。