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

看板PLT (程式語言與理論)作者stopcrying (deathclaw)時間4年前 (2020/04/25 02:09)推噓0(0推 0噓 0→)

留言0則, 0人參與討論串2/2 (看更多)

去年看 TaPL 有進展後，想問的第一個問題是，一般 CSIE 本科生，是怎麼接觸像 TaPL 這樣的教材的？在那之前需要多少背景知識？幾週前才遇到同事說，他覺得 functional programming 除了裝逼外，不知道有什麼用。還好 JavaScript 圈現在有 Promise, Rx 這些以組合為基礎的工具，而且它們的介面是從 functional language 來的，讓我有切入點可以說明 FP 的好。這幾年非 CSIE 出身的程式設計師越來越多，如果哪天我得向同好解釋程式語言學厲害之處，總不好一開始就叫他吃 TaPL XD 以操作語意為例，因為我對 FP 的認識是從 lambda calculus 和「把更好用的語法轉譯成 lambda calculus 」開始的。在看 TaPL 前，無法理解為什麼要用操作語意來規定「看見什麼之後要變成什麼」（不是都翻譯成 lambda 就好了嗎？），也沒注意到操作語意其實編碼了 evaluation 的順序。 ※ 引述《suhorng ( )》之銘言： : 一個場景是在原本語言之下還有抽象機器, 然後可以探討抽象機 : 器與原本語言的解釋器之間有什麼關係. 這裡會應用操作語意 : 又或者針對特定語言去應用操作語意來討論 contextual : equivalence 等等像這兩段我也還不懂，是用操作語意描述解釋器怎麼運作，再用它描述抽象機器怎麼運作，並比較兩者的異同嗎？更不用提後面 contextual equivalence 那段了。 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.170.149.152 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/PLT/M.1587751746.A.BC0.html ※ 編輯: stopcrying (118.170.149.152 臺灣), 04/25/2020 02:18:05 ※ 編輯: stopcrying (118.170.149.152 臺灣), 04/25/2020 02:18:48