Fw: [情報] Types and PL 高雄線下讀書會

看板Programming作者suhorng ( )時間8年前 (2015/11/22 18:04)推噓0(0推 0噓 0→)

留言0則, 0人參與討論串1/1

※ [本文轉錄自 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://www.ptt.cc/bbs/PLT/M.1448092513.A.68B.html

推

stopcrying

11/21 16:07, , 1^F

11/21 16:07, 1^F

※ 編輯: drm343 (36.236.16.4), 11/21/2015 16:47:37

推

CindyLinz

11/21 18:23, , 2^F

11/21 18:23, 2^F

推

DBoyX

11/21 23:33, , 3^F