Top posts

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

Software Engineering
2023
1631

How to keep lambda calculus simple

Once upon a time, my curiosity of dependent types transitioned into an endeavour to learn how they work under the bonnet. Then I found the paper called “A Tutorial Implementation of a Dependently Typed Lambda Calculus” or just “Simply Easy” – and began reading it. However, the affairs happening there were so complex…