[情報] Types and PL 高雄第三次線下讀書會

看板PLT (程式語言與理論)作者drm343 (一卡)時間9年前 (2015/12/27 00:43)推噓4(4推 0噓 5→)

留言9則, 4人參與討論串1/1

主題：第三次線下討論會，歡迎一起來讀 TaPL。上次的場地還蠻不錯的，所以先暫定上次的地點。由於這次將近一個月的時間可以讀，所以進度到第二部份 Simple Type System 結束，歡迎使用各種語言實作參考。跳過第二次讀書會，卻突然公告第三次讀書會的時間，絕對不是什麼單數版本比較穩定這種理由，單純是有去公告的地方太少，少到大家都不知道這樣。地點：火腿書房 / 807高雄市三民區九如二路681號(暫定) 時間：2016-01-30 14:00 ~ 17:00 報名連結：http://tapl.kktix.cc/events/d79d3108-280938-937683 參考連結： github repo 存放相關文獻或 issue https://github.com/cschat-tw/StudyGroup-TAPL/issues hackpad 上的筆記 https://hackpad.com/TaPL--y8iYXwtcG1G ----------------------------------------------------------- 先補上第二次的心得。第二次的場地蠻不錯的，低消一人一百，可攜帶外食，還有投影機跟螢幕，除了線上直播的器材由 b4284 準備，以及網路不太穩而用自己的網路以外，是個很不錯的環境。這次的重點在於如何用 untyped lambda 描述一套完整的程式語言跟 namespace 的處理，在書中關於這塊介紹了 de Bruijn index 的作法及原理，簡單來說就是用數字編號來取代變數符號，關於這部份的詳情可以參考 hackpad 上的筆記，或是 CindyLinz 舉辦的 BYOHC workshop，網址如下，為了避免以後連結損壞，所以沒有縮網址。 https://github.com/CindyLinz/BYOHC-Workshop/blob/master/workshop-2015.9.24.md#de-bruijn-index-%E5%AF%A6%E4%BD%9C%E6%B3%95 我是認為有接觸過 functional programming language 的人，通常對於如何實作 untyped lambda 都有一定程度的了解，甚至自己已經用某個語言實作過了，因此這部份能講的可能相對不多，網路上實作品也蠻多的，或許不需要著墨太多。 ----------------------------------------------------------- 第三次的先暫定放在這分隔線下 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.236.17.120 ※ 文章網址: https://www.ptt.cc/bbs/PLT/M.1451148208.A.248.html

推

stopcrying

12/27 03:01, , 1^F

12/27 03:01, 1^F

推

wgst88w

02/04 23:49, , 2^F

02/04 23:49, 2^F

→

wgst88w

02/04 23:50, , 3^F

02/04 23:50, 3^F

Concepts of PL 這本書我沒看過，你可以看看它有沒有談 lambda calculus，如果沒談，那對讀 Types and PL 就不會有太大影響。 TaPL 的基礎是建立在 lambda calculus 上，有機會你可以讀讀看下面這本書「The Little Schemer」或是「Programming Languages and Lambda Calculi」的 Part 1，這裡面談的概念對讀 TaPL 會蠻有幫助的。歡迎參加，有問題也可以上 irc 或 github 討論。 ※ 編輯: drm343 (36.236.16.84), 02/05/2016 11:32:50