Fancy

剛剛 scm 老師被「教訓」說不要用像 fold 那麼 fancy 的東西，別人會聽不懂。（還有一點 axiomatic vs. denotational semantics 的火藥味 XD。）又理解一點 scm 老師在 Oxford 被「寵壞」的感覺了… 乾脆 FLOLAC（如果辦得成的話… 大家快報名啊 ToT）加開 "Advanced Program Derivation"，（至少）把 AoP 前三章講一講，大家就會發現這是多麼神奇的框架，Oxford 那種 algebra/coalgebra 自然地飛來飛去的環境就會出現啦 XD。

--
夢幻到根本無法想像真的成真會是什麼樣子…