4 ms·
Ask HN: Book to get started in Type Theory
I saw a a paper posted today called "The Derivative of a Regular Type is its Type of One-Hole Contexts".
I cannot even start to read it, because of notation and total lack of background. There where also very interesting comments, but I can only understand half of it.
What would be a good book, article, video or site to get started with the topic?
Thanks.
- oslac 4y agoThere are lecture series that are good for this. Jumping straight into Pierce or Harper's book is pretty hardcore. For example, 3110 -> 4110 -> 6110. Then you can just search some compiler courses like CMU's or just follow plai.org. https://cs3110.github.io/textbook/cover.html https://cs3110.github.io/textbook/cover.html https://www.cs.cornell.edu/courses/cs4110/2020fa/ https://www.cs.cornell.edu/courses/cs4110/2020fa/ https://www.cs.cornell.edu/courses/cs6110/2022sp/schedule.html https://www.cs.cornell.edu/courses/cs6110/2022sp/schedule.ht...
- f1shy 4y agoThanks. Will look at it.
- bryanrasmussen 4y agowhat is going on here? You have multiple variations of this post in the new feed.
- f1shy 4y agoI was getting an error in the browser, and thought it was not posted…