Types and Programming Language 台北第一次線下讀書會

今年初，高雄開始了 Types and Programming Language 讀書會，想在台北響應此活動，看有朝一日能不能把整本 TaPL 讀完。

礙於大家（在高雄或台北）都有工作，不見得能分配時間到此書上，而且抽象概念需要時間才能理解，決定不設定具體目標。只要此書有沾到邊的主題，像是 type system 的證明或實作都可以聊。

希望能成為兩三週舉行一次的固定聚會。

我會帶一本實體書去，沒有書的朋友請參考 #1 。共筆在 hackpad 上。

目前場地有低消 $70 元。

注意：

• 這不是給進階者參加的聚會，坑主也才剛入門。如果對進階主題有興趣，請洽 Functional Thursday 。

預計進度：

• 決定活動進行方式
  • 繼續筆記讀書心得，或者
  • 拆掉 gitbook ，改成實作導向，各自開 project

其他資源：

• 母活動：Types and Programming Language 讀書會
• 共筆：hackpad
• GitHub repo ：cschat-tw/StudyGroup-TAPL
• 地點：田中園(光華店)
• IRC channel ：#cschat.tw@freenode