題目

突然想到可以查 scm 老師申請到的國科會計畫，結果一併揭露了 FLOLAC 幫的大計畫 XD。幾乎每個人都取了奇形怪狀的拗口題目，只有莊老師的比較正常。第一眼看到「模組化、可擴充之依賴形態程式設計典範」我直接吐 parsing error XD。

--
多看兩眼才發現是 dependently-typed programming XD。