關於函數編程(三)摺疊-映射融合定理
函數語言程式有比較好的數學性質,我們可用來對程式做各種推論和操作。
函數語言程式有比較好的數學性質,我們可用來對程式做各種推論和操作。
咦?那真是太巧了。當時我也站在一旁聽,而且記得 Okasaki 的那句回答。那時我還不認識 Oleg 呢。世界真奇妙呀。
三個函數都同樣地把串列從左至右走訪一遍,差別僅在碰到串列結尾時分別傳回不同的值,並用不同的運算元處理遞迴呼叫的結果。我們能不能讓這三個函數共用同一個定義呢?
只要先選好你今天的偏見,任何好事總有辦法寫成壞事;任何壞事也總有辦法寫成好事。
「幾年前我便觀察到,一個程式員的品質是其程式中 go to
密度的遞減函數。」他說,「後來我發現了為什麼 go to
的使用有這麼嚴重的後果,並相信所有『高階』語言都應該把 go to
廢除掉。」