※ 引述《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 是特异的使用法. 程式语言里的 function 或 procedure 都是表明有 call-return 关系, 调用了 function , 执行後会回到下一句 statement 执行. 除了要结束 程式的执行, 才将 cpu 执行的 控制权还给 OS 或 shell, 才会一去不回. call-return 暗示了下一个执行次序, 是很固定的, 不会随计算而变.( 除了 divid by zero trap 这类例外). 数学的 function 都是表示函数值是依据 表示式 计算後的结果, 不涉及 之後是再如何进行下一个步骤. 这里的 Branch_do(S) 就不会是一般 高阶程式语言 可以叙述出来的 function routine. 换言之, if statement 是很有威力的指令, 使用他与 计算式 可以变化 出很多功能, 几乎所有 computing function 都能实现. 但 function computing routine 若没有 Branch_do(S) 功能的协助就很难兜出程式 语言上可改变执行次序的 if-statement. ※ 编辑: ggg12345 来自: 140.115.4.12 (10/01 19:54)