[問題] How useful is category theory to PLT?

看板PLT (程式語言與理論)作者 (我心依舊)時間9年前 (2015/11/19 15:35), 9年前編輯推噓1(104)
留言5則, 2人參與, 最新討論串1/1
Is it a must to learn in order to conduct researches in PLT? -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 124.77.64.36 ※ 文章網址: https://www.ptt.cc/bbs/PLT/M.1447918554.A.813.html ※ 編輯: carelai (124.77.64.36), 11/19/2015 15:48:33

11/19 15:52, , 1F
作PLT的什麼研究? PLT範圍很大
11/19 15:52, 1F

11/19 16:26, , 2F
models and semantics
11/19 16:26, 2F

11/19 20:57, , 3F
What do you think?
11/19 20:57, 3F

11/19 22:11, , 4F
I'm sorry. I'm not familiar with this area...
11/19 22:11, 4F

11/19 22:11, , 5F
Just that indeed people give categorical semantics
11/19 22:11, 5F
文章代碼(AID): #1MJNlQWJ (PLT)
文章代碼(AID): #1MJNlQWJ (PLT)