Poll: Is your research area of interest in type theory/other PL area and do you know some category theory?
- Type theory; yes12.2%
- Type theory; not at all8.2%
- PL; yes42.9%
- PL; not at all36.7%
98 votesFinal results
4
3
4
Conversation
Replying to
I answered 'not at all' but I know a little. I guess I don't consider it enough to be as much as my 'some' type theory. And then I got stuck on whether to put myself in type theory or PL haha - put myself in TT but now thinking I should be in PL (with fancy type systems). 😅
I hope this helped give you insight into why I am not yet a functioning adult
1
2
same boat:
Quote Tweet
Replying to @ionathanch
where is "PL; I assume so?" because like... I'm sure I know some category theory things, but I could not immediately pick out which things they are 
1