給定一個含數字的陣列 A [0.. N), 0 ≤ N. 其中任一個連續區段 [p..q) 的「信用」是其中正數的個數減去負數的個數：
credit p q =〈# i : p ≤ i < q : A i > 0〉-
〈# i : p ≤ i < q : A i < 0〉
請推導出一個程式，計算該陣列中「信用最高的區段」的信用，也就是
〈↑ p q : 0 ≤ p ≤ q ≤ N : credit p q〉我有大約 25 分鐘的時間和同學們介紹函數程式演算. FLOLAC ’10 的同學少部份學過 Haskell 或其他函數語言，大部份只在一週前學了三小時的 OCaml, 寫了一些程式作業，但對 fold 之類的抽象觀念可能還難以掌握。
給定一個有兩個以上元素的陣列a, 計算任兩個元素前者減後者所得之差的平方的總和。
「幾年前我便觀察到，一個程式員的品質是其程式中 go to 密度的遞減函數。」他說，「後來我發現了為什麼 go to 的使用有這麼嚴重的後果，並相信所有『高階』語言都應該把 go to 廢除掉。」