※ [本文轉錄自 PLT 看板 #1MK2DXQB ]
作者: drm343 (一卡) 看板: PLT
標題: [情報] Types and PL 高雄線下讀書會
時間: Sat Nov 21 15:55:09 2015
主題：
幾位高雄的朋友將在 11/28 開始舉辦 TaPL(Types and Programming Language) 讀書會，
如果對程式語言設計原理原則，型別系統有興趣的朋友，歡迎一起來讀書。
除了線下的讀書會，也會同時進行線上聊天室的討論與分享，讓不在高雄但有興趣的朋友
也有機會參加並分享自己的看法。
預定第一次聚會先至少讀完 untyped lambda system。
書中實作採用的是 Ocaml 這個程式語言，有興趣的朋友也可以改用其他語言實作。
沒有書的朋友，也可以參考放在 github 上的 issue 或是參考文獻，相關連結放在最下
方。
目前還有蠻多事項需要討論與決定，歡迎上 irc #cschat.tw 或透過 github 發 issue
參與討論。
地點：彩色巴黎 / 高雄市左營區富民路391號(暫定)
時間：2015-11-28 14:00 ~ 17:30
報名連結：http://tapl.kktix.cc/events/d79d3108
參考連結：
github repo 存放相關文獻或 issue
https://github.com/cschat-tw/StudyGroup-TAPL/issues