2009/03/20

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。

Labels:

<< 回到主頁