[情报] 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