Type Metaphysics

最近 Haskell-cafe 有一串標題為 "type metaphysics" 的討論，沿途牽扯一些 computing science 的核心理論如 computability theory 和 domain theory，有點散亂不嚴謹，但可以當作複習 XD。不過這些討論其實離題了，因為發問者最一開始的問題是 "what is a type" 這個本體論問題，最後 Oleg 很適時地跳出來、引用 FLOLAC '08 "Interpreting Types as Abstract Values" 的 lecture notes 漂亮地結束這串討論。

--
要小心 diagonal argument 和 cpos 不太相容 XD。