Top all-time · #21647
Matthew Brecknell
Personal blog · matthew.brecknell.netprogramming
Matthew Brecknell's personal blog at matthew.brecknell.net covers programming. Since 2013, 3 different Hacker News readers have linked it 3 times. The last post was in 2022, but the archive is still widely read.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
Linked posts seem to cover static typing and type inference in languages like Elm, Haskell and OCaml. The one comment gives no judgment of the writing itself.
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?
What languages have you worked with before, with static types? If it's something like Java, C, C++, etc, then I can see your point, but if you pick any of the languages with type inference (like Elm, Haskell, PureScript, OCaml, F#, etc), then you rarely actually have to write types. Working with the type system is a different way of working. It's more beneficial to see the compiler as a helping friend, instead of an…
Comment linking /post/hole-driven-haskell/
on “Stripe is building a Ruby typechecker”Submitted Implementing a BTree in Haskell with GADT's as a story · 39 points
HN discussionSubmitted Screencast: Hole-driven Haskell as a story · 4 points
HN discussion