Semantics

莊老師飛也似地講到了 continuous functions。要是我沒看過 Richard Bird 的 Intro. to FP 和 Stoy 的 Denotational Semantics，應該聽不太懂吧 XD。

--
Stoy 那段「為什麼專注在 continuous functions」的推導我都還沒完全解決 XD。