※ [本文转录自 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 ※ 编辑: drm343 (36.236.16.4), 11/21/2015 16:47:37 ※ suhorng:转录至看板 Programming 11/22 11:06

※ 发信站: 批踢踢实业坊(ptt.cc) ※ 转录者: suhorng (220.137.6.160), 11/22/2015 18:04:31