※ 發信站: 批踢踢實業坊(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"）, 當然也會討論怎麼把一種語言的「意思」說清楚