Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

We used this at UT Austin, and it's a great book. It doesn't have a lot of stuff that you would find in a graduate PL course (e.g. type theory), so it doesn't prepare you to read PL papers, but building a lisp in scheme is a lot more fun than learning type theory!

And probably more useful, as the author asserts in his paper.



I could be wrong but I'm fairly certain PLAI covers basic type checking & inference. It doesn't get into harder stuff (e.g. dependent typing) though.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: