作者suhorng ( )
站内Programming
标题Re: [网宣] 逻辑、语言与计算暑期研习营 (FLOLAC'14)
时间Wed May 14 21:54:16 2014
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 220.136.86.37
※ 文章网址: http://webptt.com/cn.aspx?n=bbs/PLT/M.1400035734.A.5FD.html
※ 编辑: viw (220.136.86.37), 05/14/2014 10:51:58
1F：推 joshnash:QQ 明年也会举办吗 42.67.181.140 05/14 10:55
2F：→ MOONRAKER:这跟PL和正规语言课的差别是什麽 118.163.12.174 05/14 11:37
3F：→ MOONRAKER:上了不会考一百分 那会不会长高变美 118.163.12.174 05/14 11:38
4F：推 suhorng:正规语言课是说 formal language 吗 140.112.16.172 05/14 12:52
5F：→ 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"）, 当然也会讨论怎麽把一种语言的「意思」说清楚 -- 相对於贴
近机器模型的语言, 现代多数语言都有较高级的构造. 除了用自然语言叙述和一个又
一个例子说明（还不知道哪天会不会发现"阿,原来不是这样"）, 我们有没有其他方法?
好, 那这跟逻辑、形式系统又有什麽关系? FLOALC 的课程会介绍逻辑与程式的意外
关联, 他们具有某种对应关系（不是什麽 "写程式的人逻辑很好"）. 当你我们递回程式
或递回定义的树型资料结构, 不是常常需要用到 induction 吗? 他们事实上是同一件
事情, 只是在不同的学科被分开来讲了而已. 两方面配合着学的话, 也可以顺便了解
另一套不同的逻辑系统.
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 36.229.107.70
※ 文章网址: http://webptt.com/cn.aspx?n=bbs/Programming/M.1400075658.A.82B.html
※ 编辑: suhorng (36.229.107.70), 05/15/2014 09:30:27
6F：→ MOONRAKER:那就是PL课程的後面了 118.163.12.174 05/15 10:12
7F：→ suhorng:後面? 这些应该不是後面@@? 36.229.107.70 05/15 10:25
8F：→ suhorng:阿,这是PL课~ 36.229.107.70 05/15 10:29
9F：→ MOONRAKER:就是一般PL课程带过或没空上的部份啦 118.163.12.174 05/15 11:40
10F：→ MOONRAKER:60个小时实在是VERY HARD阿 上班去听的 118.163.12.174 05/15 11:45
11F：→ MOONRAKER:机会也很低 不过谁知道呢 也许挤一天去 118.163.12.174 05/15 11:45