Work in progress: 181,232 of 181,233 sites checked so far, more every week · updated 2 Nov 2026Missing a blog? Tell us

Top all-time · #25421

T

The power of types compels you

Personal blog · paczesiowa.blogspot.comprogramming

The power of types compels you is a personal blog at paczesiowa.blogspot.com about programming. Since 2010, 3 different Hacker News readers have linked it 3 times. The last post was in 2011, but the archive is still widely read.

Visit the blog
3mentions?
3HN people?
2010–2011first – last linked?
Links on Hacker News per year · peak 2 in 2010

Too few sampled comments (1) to say how often HN recommends it.?

Why HN links it

HN readers link this blog's post on writing a generalised zipWithN in Haskell, which is hard because of the type system. The only comment cites it as a reference for that point.

Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.

What Hacker News says?

  1. Haskell actually goes all the way up to zip7. A generalised zipn function is quite complicated to write in Haskell, due to the type system. Here's a blog post about it: http://paczesiowa.blogspot.com/2010/03/generalized-zipwithn....

    Comment linking /2010/03/generalized-zipwithn.html

    on “2 is a code smell”
  2. Submitted Two-Dimensional Analog Literals in Haskell as a story · 1 points

    HN discussion
  3. Submitted Pure, extensible exceptions and self-returning functions as a story · 1 points

    HN discussion

Search all of HN for paczesiowa.blogspot.com