(fixed typo) 或許是本板的第一串戰火 =_=.. 首先我想先說，「推文請勿超過三行」，請見板規 接下來如果又嚴重超過三行，水桶一天 (24h) 其次我想說，盡量不要有嘲諷的語氣，但我能理解有時候還是會很想說。 再有嘲諷語氣的話我會點名，希望能收斂點。 ==================== 分隔線 ==================== 個人想法 if 是不是 function, 當然要看是哪個語言了，不談語言只談概念， 那 if 就應該是所有語言的定義的集合，沒必要堅持一定是什麼... 在現今 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 的，否則這也無法成立。 -- Hear me exalted spirits. Hear me, be you gods or devils, ye who hold dominion here: I am a wizard without a home. I am a wonderer seeking refuge. Sacrifice --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.135.160.129 ※ 編輯: godfat 來自: 220.135.160.129 (09/29 14:12)