作者carelai (我心依旧)
看板PLT
标题[问题] Lattice Theory在PLT的重要性？
时间Sat Aug 8 00:29:56 2015
如题，看PLT书籍中会出现很多lattice的概念，比如complete lattice,
continuous lattice之类，特别是在denotational semantics相关内容，
让小弟犹豫是否应该修一门这方面的课程。不知这里的先进们对lattice
在PLT的重要性如何看待？
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 61.164.209.70
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/PLT/M.1438964999.A.E6B.html
1F：推 xcycl: 看数学程度，order theory 如果觉得简单或学过的话，可以 08/08 01:18
2F：→ xcycl: 自己自修 domain theory 跟 denotational semantics。反之 08/08 01:18
3F：→ xcycl: 则可以修修磨练一下，但有开设的学校应该不多吧？ 08/08 01:18
4F：推 suhorng: 个人觉得用到的部份上网找一些课的投影片读就足够了(如果 08/08 01:35
5F：→ suhorng: 有要很深入的话), 另外在 program analysis 里也会用到一 08/08 01:36
6F：→ suhorng: 些(更基础)的部份, 像 data flow analysis 那边 08/08 01:36
7F：→ carelai: domain theory 是不是 order theory 的一部分？但一般的 08/08 21:49
8F：→ carelai: order theory 对PLT乃至计算机科学没有用处吧？static 08/08 21:49
9F：→ carelai: analysis 我是听说要用lattice，愿闻其详 08/08 21:50
10F：推 xcycl: 以 Wikipedia 上描述的 order theory 几乎整个理论 CS 都会 08/10 05:35
11F：→ xcycl: 用到，l像是自动机，程式语意，逻辑，到处都是...但也不是 08/10 05:36
12F：→ xcycl: 特别困难就是了 08/10 05:37
13F：推 xcycl: Domain theory 是 order theory 的延伸，continuous lattic 08/10 05:39
14F：→ xcycl: es 通常不会在 lattice 的教材出现，概念不大一样。 08/10 05:39
15F：→ carelai: 原来是这样，谢谢，看来 continuous lattice 是专为 08/10 07:49
16F：→ carelai: denotational semantics 所发明的，发明人为 Dana Scott 08/10 07:50
17F：推 yonny: 创造分组变项後 去data=>split(分割档案)=>选分组变项 08/20 19:06