[連結] Josh Ko: 看看程式語言學在幹嘛

[suhorng ( )]

https://josh-hs-ko.github.io/blog/0006/

Josh Ko: 看看程式語言學在幹嘛

-----

推薦心得:

街頭巷口常常可以見到這樣的說法: "程式語言只是
工具, 學好演算法與資料結構才是重要的事情."

既然如此, 程式語言還有什麼好研究的呢? 難道不是從
工程的角度出發, 累積經驗, 有通用的工業標準就好嗎?
實際上程式語言的研究並不是如此瑣碎平凡.
相反地,作為電腦科學與邏輯學的交集, 程式語言研究同時
應用了問題抽象化以及形式化建模的特點來探討程式語言的
原理, 原則和設計方法.

在這篇文章裡, Josh Ko 概述了何謂應用形式化的方法來
將程式語言的問題抽象化, 以及形式化後符號能讓我們如何
表述程式語言的安全性, 如何為了形式化後能藉由操作符號
來協助設計程式等面向.

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.30.46 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/PLT/M.1586306897.A.324.html
※ 編輯: suhorng (140.112.30.46 臺灣), 04/08/2020 10:14:46
推 alan23273850: 推喔！
推 stopcrying: m 起來！重讀發現每一段還是需要一些背景知識。
→ stopcrying: 不知道一般的街頭程式設計師，除了看 TaPL 外，
→ stopcrying: 還有沒有其他材料可以瞭解 operational semantics ？
→ suhorng: 如果你的問題是這一篇的背景, 那要找的是 pi calculus
→ suhorng: 的操作語意以及 session types
→ suhorng: 如果像 TaPL 這麼一般的介紹我也暫時想不到有什麼課本
→ suhorng: 可能找找上課講義或投影片. 其他就是找特定主題的資料了
→ suhorng: 例如討論程式語言語意時, 一個場景是在原本語言之下還有
→ suhorng: 抽象機器, 然後可以探討抽象機器與原本語言的解釋器之間
→ suhorng: 有什麼關係. 這裡會應用操作語意
→ suhorng: 又或者針對特定語言去應用操作語意來討論 contextual
→ suhorng: equivalence 等等
→ stopcrying: 啊，我整理一下去年遇到的問題好了 XD 可能要回一篇