※ 引述《godfat (godfat 真常)》之銘言：
: 在現今 imperative 語言充斥的環境下，if 大多是 statement,
: 而在有些有點 functional programming 意味的語言下，會是 expression.
: 另外在很少數的地方，if 確實是個 function.
: 在 if 是 function 的世界裡，例如 Agda 中，他的定義是
: if_then_else_ : ∀ {a} {A : Set a} → Bool → A → A → A
: if true then t else f = t
: if false then t else f = f
: 可以在這邊看到程式，這是 Agda standard library
: http://www.cs.nott.ac.uk/~nad/repos/lib/src/Data/Bool.agda
: 這一個 function 用到了 mixfix:
: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Mixfix
: 也就是說，當我們寫 if b then t else f 時，用一般語言的語法可以看成：
: if(b, t, f)
: 也當然了，整個程式本身是沒有任何 side-effect 的，否則這也無法成立。
=============
假如是想寫一個 interpreter 或 compiler, 來句譯這個 if_statement:
if(Boolean_Expression) then do {S_t} else do {S_f};
可以定義 IF_Func(Boolean_Expression, S_t, S_f)
根據 Boolean_expression 計算結果, 使 function 傳回的結果就是 S_t 或 S_f
再定義一個 Branch_do "function"(??? 有疑慮的 function):
Branch_do(S)
就是跳躍到 statement label S 去執行.
if_statement 就變換成:
Branch_do(IF_Func(Boolean_Expression, S_t, S_f))
也就是 if_statement 可以用 function statement 做出來(合成).
兩者的差異就是對人在認知上的可讀性與方便性(人使用的語言).
在使用特定 compiler 的程式語言上, 當然最好不要把 if(b) 跟 foo(x) 解
說成是同一類的 function statement, 表面的形式雖像, 但 compiler 不是
全用同一個過程方法去處理.
通常, function_statement 是要得到計算結果, 不會有 Branch_do 這個可
"隨意改變" 執行次序的功能在內.
當然, 這限制是可以被打破的, 但 Branch_do 就是 goto 是有麻煩顧忌的.
Branch_do(S) 是相當於 Execute(Instruction_pointer, S), 就嚴謹的
function 定義言, 她是 procedure 或 subroutine, 她改變了帶入的參數
值, 數學上的 function 是不會改變帶入的自變數. 就 Execute 言, 這不
是 數學上的 function.
就執行次序言, Branch_do(S) 還是個一去不回來的 procedure. 要適用
call-return procedure 慣例還有其困難性. 但 procedure 是否一定要
執行 return instruction ? 顯然, 不執行 return 是特異的使用法.