Shock

今天到 computing lab，真是一場震撼教育 XD。我們成功在書店裡買到《Introduction to Functional Programming using Haskell》，所以我現在自己有一本了，上面有 Richard Bird 的親筆簽名！Richard 帶我們到廚房喝咖啡，聊一聊，很快就進入他最近想證的一個 lemma，一開始我完全不知道他在講什麼 XD。然後 scm 老師對一群人講 derivation-carrying code，Jeremy Gibbons 真是超強，一下子就進入狀況，雖然我聽不清楚他在講什麼… 接著 scm 老師整天就和 Jeremy、Oege de Moor 和一些博士生聊天聊學術，我在旁邊聽 XD。真的是很恐怖，像 Oege 雖然語速慢，但是我實在聽不太懂他的腔調… 學術上就更不用說了，當然來到一個大家都講 fold/unfold…等東西的地方非常有趣，可是大家都強得要命… 總之就是語言上和學術上的雙重大震撼 XD。又例如在書店裡，小姐問我 "Would you like a bag?"，我把 bag 聽成 bike，那當然就很納悶了，幸好 scm 老師在旁邊 XD。

--
不過今天是我的 Oxford 冒險日 XD。