Top all-time · #3549
Wadler's Blog
Personal blog · wadler.blogspot.comprogramming
Wadler's Blog is a personal blog at wadler.blogspot.com about programming. Since 2008, 22 different Hacker News readers have linked it 22 times, most often “Static vs. Dynamic language development time”. It is still writing: the last post was on 2026-09-28, and you can follow it by feed.
Too few sampled comments (5) to say how often HN recommends it.?
Why HN links it
HN readers link Wadler's blog for posts on static types, Haskell, and logic, including natural deduction and Curry-Howard. Comments mostly link or cite posts as pointers rather than judging the writing.
Summarised by Claude from a sample of 5 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- Static vs. Dynamic language development time2 people · 2 mentions · first linked 2011-09-07
What Hacker News says?
It does sound like you might be after something closer to totality checking. I'm not as familiar with that, but I can maybe give a few pointers and a bit of terminology: One easy way to guarantee termination, even for functions with input/output spaces that are infinite, is using "structural recursion". This is when we only make recursive calls on a 'smaller piece' of our input. The classic example is the `Natural`…
Comment linking /2015/12/impredicative-images.html
on “Why I Don't Love Gödel, Escher, Bach”Submitted Howard on Curry-Howard as a story · 76 points
HN discussionVia Philip Wadler, http://wadler.blogspot.com/2011/09/experiment-about-static-a...
Comment linking /2011/09/experiment-about-static-and-dynamic.html
on “Experiment: Unit testing isn't enough; You need static types, too ”Submitted There is no AI as a story · 23 points
HN discussionThe man it was made for tried it with his daughter: http://wadler.blogspot.com/2007/05/oh-no-alligators.html
Comment linking /2007/05/oh-no-alligators.html
on “Alligator Eggs”Submitted History of Lambda-calculus and Combinatory Logic as a story · 9 points
HN discussionConsider that fact that prime-minister of Singapore knows Haskell by now http://wadler.blogspot.com/2015/04/prime-minister-of-singapo... He is already quite good with C++ https://arstechnica.com/information-technology/2015/05/prime...
Comment linking /2015/04/prime-minister-of-singapore-plans-to.html
on “Swish: SWI Prolog Notebook”Submitted Haskell equations, thirty-eight years later as a story · 6 points
HN discussionThis piece is intended as an accessible intro; it talks about the beginnings of formal logic, how intuitionism in the debate on foundations of mathematics led to intuitionistic logic, and Gentzen's natural deduction. It seems the only other HN discussion about a post on natural deduction so far was this one: https://news.ycombinator.com/item?id=22324836 There is also one on Curry Howard: https://news.ycombinator.com…
Comment linking /2014/08/howard-on-curry-howard.html
on “Intuitionistic propositional logic and natural deduction”Submitted Static vs. Dynamic language development time as a story · 6 points
HN discussionSubmitted Is Perl syntax better than randomly chosen syntax? as a story · 4 points
HN discussionSubmitted Indentation as a diff complexity metric as a story · 4 points
HN discussion- ot · 2014-11-29
Submitted Propositions as Types, with Howard on Curry-Howard as a story · 3 points
HN discussion Submitted Antidotes to the Imitation Game as a story · 2 points
HN discussionSubmitted Growing a Language meets Strunk and White as a story · 2 points
HN discussionSubmitted Wadler's Blog: A combinator library for the design of railway track layouts as a story · 2 points
HN discussionSubmitted The Myths of Object-Orientation as a story · 2 points
HN discussionSubmitted Programming Language Foundations in Agda as a story · 1 points
HN discussionSubmitted Avoid nonreferential this as a story · 1 points
HN discussionSubmitted Intersectional Types as a story · 1 points
HN discussionSubmitted Dennis Ritchie memorial symposium as a story · 1 points
HN discussionSubmitted A list is an odd creature as a story · 1 points
HN discussion
