Top all-time · #23904
Mathias Jean Johansen
Personal blog · mjj.ioprogrammingweb
Mathias Jean Johansen's personal blog at mjj.io covers programming and web. Since 2021, 3 different Hacker News readers have linked it 4 times, most often “Type-Level Programming in TypeScript: Implementing a Fibonacci Type”. The last post was in 2021, 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 this blog for its post on type-level programming in TypeScript, which argues the type system is Turing complete. One commenter cites it while discussing whether type features affect code generation.
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.
The personal site of Mathias Jean Johansen.
Most-linked posts?
- Type-Level Programming in TypeScript: Implementing a Fibonacci Type2 people · 3 mentions · first linked 2021-03-29
What Hacker News says?
What about this article, which says the type level programming features constitute a turing complete system: https://mjj.io/2021/03/29/type-level-programming-in-typescri... Edit: ok, it says it affects whether the program will typecheck, so it's consistent with not affecting code generation. (More Turing completeness discussion at https://github.com/Microsoft/TypeScript/issues/14833 ) Then there are other features t…
Comment linking /2021/03/29/type-level-programming-in-typescript/
on “Deno on MDN”Submitted Building a Passphrase Generator in Haskell as a story · 3 points
HN discussionSubmitted Type-Level Programming in TypeScript: Implementing a Fibonacci Type as a story · 2 points
HN discussionSubmitted Type-Level Programming in TypeScript as a story · 1 points
HN discussion