因為今年做的種種改變，FLOLAC 2012 的籌備比起往年慢了一些。這兩天發現已經有人在詢問了。是的，今年 FLOLAC 照常舉辦，而且將成為大學部的正式暑修課程！也因此，FLOLAC 開課時間改為暑期後半（8月27日至9月7日）而非傳統的七月。今年的國外講者是任職於 Max Planck Institute for Software Systems 的 Arthur Charguéraud, 將為我們介紹程式語言學界影響力日增的定理證明/程式驗證工具 Coq.
我有大約 25 分鐘的時間和同學們介紹函數程式演算. FLOLAC ’10 的同學少部份學過 Haskell 或其他函數語言，大部份只在一週前學了三小時的 OCaml, 寫了一些程式作業，但對 fold 之類的抽象觀念可能還難以掌握。
給定一個有兩個以上元素的陣列a, 計算任兩個元素前者減後者所得之差的平方的總和。
FLOLAC 2010 的網站已經做好很久了。之前一直在等所上和台大進修推廣部正式通過。今年請到了、 Yale University 的 Paul Hudak 來演講。課程則聚焦在語意上，對於正式學習程式語言相關知識應會很有用。對了，還送課本一本唷！請大家多幫忙把消息傳出去吧！
第三屆 FLOLAC 將在下週一開始。