作者carelai (我心依舊)
看板PLT
標題[問題] How useful is category theory?
時間Thu Nov 19 15:35:52 2015
Is it a must to learn in order to conduct researches in PLT?
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 124.77.64.36
※ 文章網址: https://webptt.com/m.aspx?n=bbs/PLT/M.1447918554.A.813.html
※ 編輯: carelai (124.77.64.36), 11/19/2015 15:48:33
1F：推 suhorng: 作PLT的什麼研究? PLT範圍很大 11/19 15:52
2F：→ carelai: models and semantics 11/19 16:26
3F：→ carelai: What do you think? 11/19 20:57
4F：→ suhorng: I'm sorry. I'm not familiar with this area... 11/19 22:11
5F：→ suhorng: Just that indeed people give categorical semantics 11/19 22:11