作者drm343 (一卡)
看板PLT
标题[情报] Types and PL 高雄第三次线下读书会
时间Sun Dec 27 00:43:22 2015
主题：
第三次线下讨论会，欢迎一起来读 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 上的笔记
https://hackpad.com/TaPL--y8iYXwtcG1G
-----------------------------------------------------------
先补上第二次的心得。
第二次的场地蛮不错的，低消一人一百，可携带外食，还有投影机跟萤幕，除了
线上直播的器材由 b4284 准备，以及网路不太稳而用自己的网路以外，是个很
不错的环境。
这次的重点在於如何用 untyped lambda 描述一套完整的程式语言跟 namespace
的处理，在书中关於这块介绍了 de Bruijn index 的作法及原理，简单来说就
是用数字编号来取代变数符号，关於这部份的详情可以参考 hackpad 上的笔记，
或是 CindyLinz 举办的 BYOHC workshop，网址如下，为了避免以後连结损坏，
所以没有缩网址。
https://github.com/CindyLinz/BYOHC-Workshop/blob/master/workshop-2015.9.24.md#de-bruijn-index-%E5%AF%A6%E4%BD%9C%E6%B3%95
我是认为有接触过 functional programming language 的人，通常对於如何实
作 untyped lambda 都有一定程度的了解，甚至自己已经用某个语言实作过了，
因此这部份能讲的可能相对不多，网路上实作品也蛮多的，或许不需要着墨太多。
-----------------------------------------------------------
第三次的先暂定放在这分隔线下
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 36.236.17.120
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/PLT/M.1451148208.A.248.html
1F：推 stopcrying: 推！ 12/27 03:01
2F：推 wgst88w: 最近正在看 Concepts of Programming Languages 10th. 02/04 23:49
3F：→ wgst88w: 是不是有此书的概念才适合参加呢？ 02/04 23:50
Concepts of PL 这本书我没看过，你可以看看它有没有谈 lambda calculus，
如果没谈，那对读 Types and PL 就不会有太大影响。
TaPL 的基础是建立在 lambda calculus 上，有机会你可以读读看下面这本书
「The Little Schemer」或是「Programming Languages and Lambda Calculi」
的 Part 1，这里面谈的概念对读 TaPL 会蛮有帮助的。
欢迎参加，有问题也可以上 irc 或 github 讨论。
※ 编辑: drm343 (36.236.16.84), 02/05/2016 11:32:50
4F：推 suhorng: 我觉得 Concepts in PL 实在不太行...(以这方面来说) 02/05 16:53
5F：→ suhorng: 当然只是个人意见XD 02/05 16:56
6F：→ CindyLinz: 不但是个人意见, 还是板主的意见 (指 02/05 20:49
7F：→ suhorng: 板工什麽的板众投投票就能换掉啦~~~~ 02/06 12:42
8F：推 wgst88w: 谢谢大家的指教，果然是我想的天真了，目前已经找到谜版 02/06 13:48
9F：→ wgst88w: 橘象手册，会找时间读读看。^_^ 02/06 13:50