3 ms·
Because once you understand type theory, you unlock the ability to win arguments on the internet using words like "monoid" and "dependent elimination". Also, it
by doppelgunner 1y ago
Because once you understand type theory, you unlock the ability to win arguments on the internet using words like "monoid" and "dependent elimination". Also, it's comforting to know that while your life may lack structure, your types never will.
- derriz 1y agoI know this is supposed to be a joke but I don’t get it? Type theory isn’t particularly heavy in terms of jargon compared to other foundational theories like category theory or set theory. These are highly technical fields of study so of course they’re going to need specific language. It would like complaining about a doctor using “fancy terms” when discussing complex medical procedures. To give a non-cynical answer: a good reason to look at type theory - if you’ve been exposed to computer science - is that it treats syntax and syntactical manipulation as foundational and can be viewed as the branch of mathematics that ties syntax and with the notion of computation.
- JadeNB 1y ago> Type theory isn’t particularly heavy in terms of jargon compared to other foundational theories like category theory or set theory. And anyone who thinks their own area doesn't have jargon has just forgotten how to recognize it.
- bevr1337 1y agoAnd quartz, of course. https://xkcd.com/2501/ https://xkcd.com/2501/
- Twey 1y agoAnd ‘monoid’ isn't even from type theory!
- theflyinghorse 1y agoNot heavy on jargon? Compared to what? It’s all jargon
- derriz 1y ago> compared to other foundational theories like category theory or set theory
- deleted 1y ago[deleted]
- ninetyninenine 1y agoThis is the type of snark that's HN appropriate.
- deleted 1y ago[deleted]