考312，溫networks

今日6am，Janice打電話黎，話打左d野俾我，但又唔俾我睇住，叫我起身先睇…
起身睇，真係好感動…

今日份312，真係…好鬼長長長長…
真係要用晒三個鐘！！！！
好憎做proof要變做fill in the blanks…
proof by induction都可以induct on唔同既野啦…點解係都要跟佢果個方法…

不過今次算出題出得好左，起碼d blanks make sense…
同埋份倦比上年果份more do-able…
希望有A啦…

P.S. 我睇312 past paper，見到有"System F"，搵完書都搵唔到係咩黎，上堂冇講過…今日去到考試問下人，先知完來係*另一本書*度話System F即係system with polymorphic type…(汗)

番到房，訓到成隻豬咁…
起身先再溫networks，但又係溫唔入腦，唉，死得…但應該點都好過312既
專心唔到…