如题，看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(分割档案)=>选分组变项