Top all-time · #21274
Evan Jenkins
Personal blog · ejenk.com/blogprogrammingphilosophy
Evan Jenkins writes The Market Completionist, a personal blog at ejenk.com about programming and philosophy. Since 2014, 3 different Hacker News readers have linked it 3 times, most often “Dependently Typed Programming”. The last post was in 2014, but the archive is still widely read.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
HN readers link Evan Jenkins's blog for its post on dependently typed programming. The only comment cites it while noting that Idris has better support for dependent types.
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.
Most-linked posts?
- Dependently Typed Programming3 people · 3 mentions · first linked 2014-07-01
What Hacker News says?
Although I am not expert on these things but it seems to me that Idris has better support for so called dependent types http://ejenk.com/blog/why-dependently-typed-programming-will...
Comment linking /blog/why-dependently-typed-programming-will-one-day-rock-your-world.html
on “What Doesn't Seem Like Work?”Submitted Dependently Typed Programming as a story · 70 points
HN discussionSubmitted Why Dependently Typed Programming Will (One Day) Rock Your World (2014) as a story · 1 points
HN discussion