※ 引述《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 是特异的使用法.