作者drm343 (一卡)
看板PLT
標題[情報] Types and PL 高雄第三次線下讀書會
時間Sun Dec 27 00:43:22 2015
主題：
第三次線下討論會，歡迎一起來讀 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://webptt.com/m.aspx?n=bbs/PLT/M.1451148208.A.248.html
1F：推 stopcrying: 推！ 12/27 03:01
2F：推 wgst88w: 最近正在看 Concepts of Programming Languages 10th. 02/04 23:49
3F：→ wgst88w: 是不是有此書的概念才適合參加呢？ 02/04 23:50
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
4F：推 suhorng: 我覺得 Concepts in PL 實在不太行...(以這方面來說) 02/05 16:53
5F：→ suhorng: 當然只是個人意見XD 02/05 16:56
6F：→ CindyLinz: 不但是個人意見, 還是板主的意見 (指 02/05 20:49
7F：→ suhorng: 板工什麼的板眾投投票就能換掉啦~~~~ 02/06 12:42
8F：推 wgst88w: 謝謝大家的指教，果然是我想的天真了，目前已經找到謎版 02/06 13:48
9F：→ wgst88w: 橘象手冊，會找時間讀讀看。^_^ 02/06 13:50