What's in a name?

還真沒料到 pi-calculus & concurrent Haskell 做不下去竟會是因為「區區」的名字問題…。如果只是 lambda-calculus 就還好，但 pi-calculus 的特點就是可以傳遞名字，我們又希望能夠傳遞 typed values，混合起來讓事情變得很棘手。這幾天休息一下，先把學校作業解決吧 XD。對了，還有 Haskell logo 投票（那隻暖暖毛毛的 Monica 不錯啊 XD）。

今日飲食：中午牛肉湯麵 + 燙青菜 @ 台大牛肉麵（$100）；晚上紅油牛腩拉麵 @ 有勁蘭州拉麵（$140）+ 巧克力葡萄奶酥 @ 男一麵包店（$18）。合計 $258。

--
到車站去拿票總是吃比較貴 XD。