[情報] Types and PL 高雄第三次線下讀書會 drm343 PTT批踢踢實業坊

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

作者: drm343 (一卡) 2015-12-27 00:43:22

主題：
第三次線下討論會，歡迎一起來讀 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 上的筆記

作者: wgst88w (清楚明「熙」) 2014-02-04 23:49:00

最近正在看 Concepts of Programming Languages 10th.是不是有此書的概念才適合參加呢？

作者: suhorng ( ) 2014-02-05 16:53:00

我覺得 Concepts in PL 實在不太行...(以這方面來說)當然只是個人意見XD

作者: CindyLinz (Cindy Wang) 2014-02-05 20:49:00

不但是個人意見, 還是板主的意見 (指

作者: suhorng ( ) 2014-02-06 12:42:00

板工什麼的板眾投投票就能換掉啦~~~~

作者: wgst88w (清楚明「熙」) 2014-02-06 13:48:00

謝謝大家的指教，果然是我想的天真了，目前已經找到謎版橘象手冊，會找時間讀讀看。^_^

作者: stopcrying (賣考) 2015-12-27 03:01:00

推！

繼續閱讀

[情報] Functional Thursday #33CindyLinz [問題] 想要用coding來寫一段文案yukijohn [情報] Types and PL 高雄線下讀書會drm343 [問題] How useful is category theory to PLT?carelai [問題] 有人能很好地講解一下Scott semantics嗎?carelai [情報] Functional Thursday #31CindyLinz [情報] Functional Thursday #30CindyLinz [情報] Functional Thursday #29CindyLinz [問題] Lattice Theory在PLT的重要性？carelai [情報] Functional Thursday #28CindyLinz