2008/02/08

懶惰

我一定還不懂 recursion,否則怎麼會抓不到 initial algebras 或是 fixed points 那一堆東西呢?

〈Theorems for free!〉裡面的定理真的都是 natural transformation 的樣子耶!(Derivation of maximum segment sum 裡面也有出現。)可是我還不知道 natural transformations 有什麼用…

--
太懶了,進度很慢 XD。

Labels:

<< 回到主頁