作者suhorng ( )
看板PLT
標題[連結] Josh Ko: 看看程式語言學在幹嘛
時間Wed Apr 8 08:48:12 2020
https://josh-hs-ko.github.io/blog/0006/
Josh Ko: 看看程式語言學在幹嘛
-----
推薦心得:
街頭巷口常常可以見到這樣的說法: "程式語言只是
工具, 學好演算法與資料結構才是重要的事情."
既然如此, 程式語言還有什麼好研究的呢? 難道不是從
工程的角度出發, 累積經驗, 有通用的工業標準就好嗎?
實際上程式語言的研究並不是如此瑣碎平凡.
相反地,作為電腦科學與邏輯學的交集, 程式語言研究同時
應用了問題抽象化以及形式化建模的特點來探討程式語言的
原理, 原則和設計方法.
在這篇文章裡, Josh Ko 概述了何謂應用形式化的方法來
將程式語言的問題抽象化, 以及形式化後符號能讓我們如何
表述程式語言的安全性, 如何為了形式化後能藉由操作符號
來協助設計程式等面向.
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.30.46 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/PLT/M.1586306897.A.324.html
※ 編輯: suhorng (140.112.30.46 臺灣), 04/08/2020 10:14:46
1F：推 alan23273850: 推喔！ 04/08 19:54
2F：推 stopcrying: m 起來！重讀發現每一段還是需要一些背景知識。 04/14 01:42
3F：→ stopcrying: 不知道一般的街頭程式設計師，除了看 TaPL 外， 04/14 01:46
4F：→ stopcrying: 還有沒有其他材料可以瞭解 operational semantics ？ 04/14 01:46
5F：→ suhorng: 如果你的問題是這一篇的背景, 那要找的是 pi calculus 04/18 16:29
6F：→ suhorng: 的操作語意以及 session types 04/18 16:30
7F：→ suhorng: 如果像 TaPL 這麼一般的介紹我也暫時想不到有什麼課本 04/18 16:32
8F：→ suhorng: 可能找找上課講義或投影片. 其他就是找特定主題的資料了 04/18 16:34
9F：→ suhorng: 例如討論程式語言語意時, 一個場景是在原本語言之下還有 04/18 16:35
10F：→ suhorng: 抽象機器, 然後可以探討抽象機器與原本語言的解釋器之間 04/18 16:36
11F：→ suhorng: 有什麼關係. 這裡會應用操作語意 04/18 16:36
12F：→ suhorng: 又或者針對特定語言去應用操作語意來討論 contextual 04/18 16:37
13F：→ suhorng: equivalence 等等 04/18 16:37
14F：→ stopcrying: 啊，我整理一下去年遇到的問題好了 XD 可能要回一篇 04/25 01:37