好簡單

把〈What is Generic Programming?〉看完了。我猜的果然沒錯，主要都是描述 AoP 的 category-theoretic approach，然後把 STL 對應的組件拿出來指點一番，說這裡其實就是 pattern matching、那裡就是 algebra 之類的。我比較有印象的幾點是：

• Vistor pattern 可以看作是 disjoint union 的 fold（i.e., pattern matching）；
• Musser-Stepanov 風格的 generic programming 著重的是資料結構上有哪些操作，而不是資料結構如何建構，因此比較像 final coalgebras 而不像 Bird-Meertens 常用的 initial algebras；
• Bird-Meertens 風格可以多考慮一點效率問題。

--
兩年之後終於可以輕易看懂這篇了… 真感動 XD。