作者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/cn.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