2008/07/01

補記

上星期五 meeting 的時候,scm 老師的髮型極端不正常,星期一 FLOLAC 開始的時候又變正常了 XD。

再聽一次 Max 的邏輯,還是一樣好聽 XD。不過邊聽邊覺得很神奇,為什麼去年我聽得懂啊?XD

看到各種邏輯用的 inductive definitions 和 FP 提到的一些標準函式,馬上就化成一個一個的 folds,base functors 的形狀和 algebras 自動跳到眼前 XD。

--
Accumulating parameters 那種的就還不太行…

Labels:

<< 回到主頁