So you want to learn type theory
purelytheoretical.com
So you want to learn type theory
1–10 of 51 posts
Re: So you want to learn type theory
#2Good list, I'd also recommend http://www.cs.cmu.edu/~rwh/plbook/book.pdf for something designed for newcomers to the field
Re: So you want to learn type theory
#3Ask yourself why.
You want to do CS, prove theorems, do theoretical research? Then, by all means, go for it!
It's hip and you use a functional language to write software? Well... It's probably just a whim. But sure, give it a try.
Re: So you want to learn type theory
#4Ask yourself why. You want to do CS, prove theorems, do theoretical research? Then, by all means, go for it! It's hip and you use a functional language to write software? Well... It's probably just a whim. But sure, give it a try.
Well, of you want do implement a type system it could help too.
Re: So you want to learn type theory
#5Ask yourself why. You want to do CS, prove theorems, do theoretical research? Then, by all means, go for it! It's hip and you use a functional language to write software? Well... It's probably just a whim. But sure, give it a try.
To be clear, most theoretical computer science research is not type theory. Not even close to it either.
Re: So you want to learn type theory
#6what about categorial semantics? hahaha!!!
Re: So you want to learn type theory
#7What's Type Theory and how's it different from Set Theory and Category Theory?
Re: So you want to learn type theory
#8[deleted]
Re: So you want to learn type theory
#9Ask yourself why. You want to do CS, prove theorems, do theoretical research? Then, by all means, go for it! It's hip and you use a functional language to write software? Well... It's probably just a whim. But sure, give it a try.
No, don't ask yourself why. Just learn. It's one human activity that never requires a reason
Re: So you want to learn type theory
#10Ask yourself why. You want to do CS, prove theorems, do theoretical research? Then, by all means, go for it! It's hip and you use a functional language to write software? Well... It's probably just a whim. But sure, give it a try.
No, don't ask yourself why. Just learn. It's one human activity that never requires a reason
no, don't do this. you have limited time focus what you learn just like everything else