denotational semantics 有沒有 "解釋" 到東西還是要看語言吧. TT 的話很有用. 若想要 general purpose language 的話情況相反