PTT數位生活區 / PLT (程式語言與理論)

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

看板PLT (程式語言與理論)作者 ( )時間4年前 (2020/04/08 08:48), 4年前編輯推噓2(2推 0噓 12→)
留言14則, 3人參與, 4年前最新討論串1/2 (看更多)
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
推
04/08 19:54, 4年前 , 1F
推喔！
04/08 19:54, 1F
推
04/14 01:42, 4年前 , 2F
m 起來！重讀發現每一段還是需要一些背景知識。
04/14 01:42, 2F
→
04/14 01:46, 4年前 , 3F
不知道一般的街頭程式設計師，除了看 TaPL 外，
04/14 01:46, 3F
→
04/14 01:46, 4年前 , 4F
還有沒有其他材料可以瞭解 operational semantics ？
04/14 01:46, 4F
→
04/18 16:29, 4年前 , 5F
如果你的問題是這一篇的背景, 那要找的是 pi calculus
04/18 16:29, 5F
→
04/18 16:30, 4年前 , 6F
的操作語意以及 session types
04/18 16:30, 6F
→
04/18 16:32, 4年前 , 7F
如果像 TaPL 這麼一般的介紹我也暫時想不到有什麼課本
04/18 16:32, 7F
→
04/18 16:34, 4年前 , 8F
可能找找上課講義或投影片. 其他就是找特定主題的資料了
04/18 16:34, 8F
→
04/18 16:35, 4年前 , 9F
例如討論程式語言語意時, 一個場景是在原本語言之下還有
04/18 16:35, 9F
→
04/18 16:36, 4年前 , 10F
抽象機器, 然後可以探討抽象機器與原本語言的解釋器之間
04/18 16:36, 10F
→
04/18 16:36, 4年前 , 11F
有什麼關係. 這裡會應用操作語意
04/18 16:36, 11F
→
04/18 16:37, 4年前 , 12F
又或者針對特定語言去應用操作語意來討論 contextual
04/18 16:37, 12F
→
04/18 16:37, 4年前 , 13F
equivalence 等等
04/18 16:37, 13F
→
04/25 01:37, 4年前 , 14F
啊，我整理一下去年遇到的問題好了 XD 可能要回一篇
04/25 01:37, 14F
‣ 更多 suhorng 的文章
文章代碼(AID): #1UZHzHCa (PLT)
PLT 近期熱門文章
更多 近期熱門文章 >>
PTT數位生活區 即時熱門文章
更多 即時熱門文章 >>
‣ 更多 suhorng 的文章
文章代碼(AID): #1UZHzHCa (PLT)