※ [本文转录自 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