Top all-time · #11949
Alfredo Di Napoli
Personal blog · alfredodinapoli.com/postsprogramming
Alfredo Di Napoli's personal blog at alfredodinapoli.com covers programming. Since 2012, 6 different Hacker News readers have linked it 8 times, most often “Fun with Dependent Types in Haskell”. The last post was in 2018, but the archive is still widely read.
Alfredo Di Napoli — Senior Haskell engineer in Rome. Functional programming, type systems, distributed systems.
Most-linked posts?
- Fun with Dependent Types in Haskell2 people · 2 mentions · first linked 2014-10-13
What Hacker News says?
> Go model a square and a rectangle in your favorite statically typed language. Okay. data Shape = Square Int | Rectangle Int Int deriving (Show) > You will find that square extends rectangle and setting the length on a square also sets the width. Why? I don't really see a need for square to extend a rectangle. > So if I have a collection of rectangles which contains an unknown number of squares of which I set the w…
Comment linking /posts/2014-10-13-fun-with-dependent-types-in-haskell.html
on “John Carmack: Functional programming in C++ (2012)”Submitted Fun with Dependent Types in Haskell as a story · 75 points
HN discussionSubmitted How I deploy Haskell Code as a story · 62 points
HN discussionSubmitted My Road to Haskell as a story · 4 points
HN discussionSubmitted (Haskell) State is pure as a story · 3 points
HN discussionSubmitted Paginators are Mealy Machines in disguise as a story · 2 points
HN discussionSubmitted [Haskell] State is pure as a story · 2 points
HN discussionSubmitted I love to be a window repairer as a story · 1 points
HN discussion
