如題，看PLT書籍中會出現很多lattice的概念，比如complete lattice,
continuous lattice之類，特別是在denotational semantics相關內容，
讓小弟猶豫是否應該修一門這方面的課程。不知這里的先進們對lattice
在PLT的重要性如何看待？

看數學程度，order theory 如果覺得簡單或學過的話，可以自己自修 domain theory 跟 denotational semantics。反之則可以修修磨練一下，但有開設的學校應該不多吧？

個人覺得用到的部份上網找一些課的投影片讀就足夠了(如果有要很深入的話), 另外在 program analysis 裡也會用到一些(更基礎)的部份, 像 data flow analysis 那邊

domain theory 是不是 order theory 的一部分？但一般的order theory 對PLT乃至計算機科學沒有用處吧？staticanalysis 我是聽說要用lattice，愿聞其詳

以 Wikipedia 上描述的 order theory 幾乎整個理論 CS 都會用到，l像是自動機，程式語意，邏輯，到處都是...但也不是特別困難就是了Domain theory 是 order theory 的延伸，continuous lattices 通常不會在 lattice 的教材出現，概念不大一樣。

原來是這樣，謝謝，看來 continuous lattice 是專為denotational semantics 所發明的，發明人為 Dana Scott

創造分組變項後 去data=>split(分割檔案)=>選分組變項