Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 14,544 posts.

Software Engineering
Any year
10161

Types Are The Truth

In Chapter 9 of Types and Programming Languages , Pierce presents his exposition of the Simply typed Lambda-Calculus. It is a truly awesome chapter - each subsection in succession constructs a rich and very well detailed system of computation and Pierce is a master of precision, guiding the reader through the maze of…