A Day with Oleg

昨天早上九點半到福華文教會館找 Oleg，然後一起去系館 202 實驗室。Oleg 講了好多好多關於 staged computation 的東西，從 Forth、Joy 講起，然後是他寫的 OCaml code on deriving non-uniform staged virtual machines，接著又開始教 MetaOCaml 和一套 staged lambda calculus，還讓我看了好一段 Twelf code 證明前面那套 calculus 的型別系統的性質，吃午餐和晚餐的時候也有很豐富的串場。讓人又累又滿足啊！我開始對 staged computation 有興趣了 XD。

--
Oleg 真是太強了！