Top all-time · #9454
Amit Kumar Gupta
Personal blog · akgupta.ca/blogprogrammingmath
Amit Kumar Gupta writes Amit's (old) blog, a personal blog at akgupta.ca about programming and math. Since 2013, 8 different Hacker News readers have linked it 13 times, most often “So you still don't understand Hindley-Milner? (2013)”. The last post was in 2014, but the archive is still widely read.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
This post, 'Understanding Hindley-Milner', explains Hindley-Milner type inference. Commenters link it as an introduction for people learning type systems, including when implementing a first type checker.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- So you still don't understand Hindley-Milner? (2013)8 people · 9 mentions · first linked 2013-06-08
What Hacker News says?
Several, but most recently an app to generate SMART Health Card QR codes to easily put your Covid vaccination info in your Apple Wallet. App: https://akgupta.ca/smart-health-cards Source: https://github.com/amitkgupta/go-smarthealthcards I’d be interested in seeing the program that OP’s colleague has to see energy consumption per device. I want this for electricity, gas, and water. The utilities are starting to get…
Comment linking /smart-health-cards
on “Ask HN: Have you created programs for only your personal use?”Submitted So you still don't understand Hindley-Milner? (2013) as a story · 202 points
HN discussionHindley-Milner is a solid place to start. Here's an introduction: http://akgupta.ca/blog/2013/05/14/so-you-still-dont-understa...
Comment linking /blog/2013/05/14/so-you-still-dont-understand-hindley-milner/
on “TypeScript 3.5”Submitted So You Still Don't Understand Hindley-Milner? as a story · 4 points
HN discussionAh, serendipity! As it happens I'm working on a variant of HM type inference right now, so my first step was to look up the explanation on Wikipedia and have my eyes glaze over. (As the saying goes, 'Which part of [above equations] do you not understand?' Answer: all of it! And it's not even the first time I've looked at it, though I don't remember anything much from the previous time.) So I rummaged around a bit mo…
Comment linking /blog/2013/05/14/so-you-still-dont-understand-hindley-milner/
on “Evolutionary couplings between files reveal poor software design choices”Submitted So You Still Don't Understand Hindley-Milner? as a story · 3 points
HN discussionI found these resources invaluable when implementing my first type system: - Understanding Hindley-Milner http://akgupta.ca/blog/2013/05/14/so-you-still-dont-understa... - Implementing a basic type system http://cs.brown.edu/courses/cs173/2012/book/types.html
Comment linking /blog/2013/05/14/so-you-still-dont-understand-hindley-milner/
on “A programming language from scratch: 3 steps to an interpreter”Submitted So you still don't understand Hindley-Milner? as a story · 2 points
HN discussionSubmitted Is programming math? You're asking the wrong question as a story · 2 points
HN discussionSubmitted k-NN Algorithm in Golang and Haskell as a story · 2 points
HN discussionSubmitted So You Still Don't Understand Hindley-Milner? as a story · 2 points
HN discussionSubmitted So you still don't understand Hindley-Milner? as a story · 1 points
HN discussionSubmitted Entropy: How Password Strength is Measured as a story · 1 points
HN discussion
