身分證與 GP

沒有，這兩個之間沒有（直接）關係 XD。只是今天到戶政事務所換證，覺得很醜，特此一記。Generic Programming 和（抽象）代數（category theory）的關係果然有人在研究了 ─ 《What is Generic Programming?》。第一作者是「最近」頻繁和 Bjarne Stroustrup 一塊向 C++ 標準委員會丟 papers（包括 concept system 的相關 papers）的 Gabriel Dos Reis，正在 Texas A&M University 做博士後研究。Category theory…好像挺遠的，如果鑽到那邊，不知道值不值得。