※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 220.136.86.37
※ 文章网址: http://www.ptt.cc/bbs/PLT/M.1400035734.A.5FD.html
※ 编辑: viw (220.136.86.37), 05/14/2014 10:51:58
推 joshnash:QQ 明年也会举办吗 42.67.181.140 05/14 10:55
→ MOONRAKER:这跟PL和正规语言课的差别是什么 118.163.12.174 05/14 11:37
→ MOONRAKER:上了不会考一百分 那会不会长高变美 118.163.12.174 05/14 11:38
推 suhorng:正规语言课是说 formal language 吗 140.112.16.172 05/14 12:52
→ MOONRAKER:YEA 118.163.12.174 05/14 14:56
其实是完全不一样的XD 一般 formal language 课程一开始总是介绍那些字串集合
的产生方式、形式语言的分类、他们的各种特性以及一些相对应的计算模型，例如
regular language/DFA、context free language/PDA，然后可能会结合 computability
以及 complexity 等内容。
这个课程的 langauge 则是指 programming languages, 关心程式语言本身的设计
与理论. 特别地, 会介绍函数式语言的概念与想法. 与一般的命令式语言不同, 我们
常听见的 immutability、closure+higher-order function 设计和常用的 type system
源自于非常简洁的系统.
程式语言本身的设计与理论是什么? 并不是讨论程式的语法该不该用大括号或是该不
该作成直译式的. 我们会关心一种设计/特性对一个语言有什么影响, 关心一个语言
的表达能力, 关心一个语言的 type system 能保证什么性质（呃, 最显然的就是
"不会type error"）, 当然也会讨论怎么把一种语言的“意思”说清楚