作者suhorng ( )
看板Programming
标题Fw: [情报] Types and PL 高雄线下读书会
时间Sun Nov 22 18:04:31 2015
※ [本文转录自 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
--------------------------------------------------------------------------
好像还有什麽东西没补充的感觉,但暂时还没想到,上礼拜在 irc 提说想要在高雄办场
TaPL 的读书会,马上有热情的大大们帮忙,谢谢大家。
希望之後参与人数能变多,然後去借个场地来举办。
这本书基本上是在讨论程式语言中,如何实作型别系统 (type system) 以及相关数学理
论,从最基本的 typechecker、error handle、跟 oop 相关的 subtype 一路介绍到
Higher-Order system,可以算是一本 type system 的入门书。
读这本书你不需要懂 compiler 怎麽实作,但需要学过 Ocaml。
--------------------------------------------------------------------------
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 36.236.16.4
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/PLT/M.1448092513.A.68B.html
1F:推 stopcrying: 推推推 XD 11/21 16:07
※ 编辑: drm343 (36.236.16.4), 11/21/2015 16:47:37
2F:推 CindyLinz: 推~~ 11/21 18:23
3F:推 DBoyX: 推~~ 11/21 23:33
4F:推 suhorng: 借转 11/22 11:06
※ suhorng:转录至看板 Programming 11/22 11:06
※ 发信站: 批踢踢实业坊(ptt.cc)
※ 转录者: suhorng (220.137.6.160), 11/22/2015 18:04:31