心酸

剛剛跟 Yen3 聊 pi-calculus & concurrent Haskell 卡住的情況，我說「我們的理想是先模塑出 pi-calculus 和 bisimulation，然後賦予 concurrent Haskell 的 "statements" 更精確的 types，最後做一點例子」。講完這句突然覺得很心酸，光 pi-calculus 都還搞不定啊。短期還覺得自在，「沒什麼建樹」的時間一累積到半年多，對自己能力的懷疑就湧上來了。

--
所以根本是無安打吧，哪來的殘壘 XD。