Top all-time · #9041
Hackle's blog
Personal blog · hacklewayne.comprogrammingweb
Hackle's blog is a personal blog at hacklewayne.com about programming and web. Since 2022, 9 different Hacker News readers have linked it 11 times, most often “A strongly-typed printf in TypeScript”. No feed was found, so read it on the site itself.
Too few sampled comments (5) to say how often HN recommends it.?
Why HN links it
HN commenters link this blog's TypeScript type-system posts, including a strongly typed printf and dependent types in TypeScript. The comments mostly cite these posts as sources rather than judging them.
Summarised by Claude from a sample of 5 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
The disingenuous compiler experts
Most-linked posts?
- A strongly-typed printf in TypeScript3 people · 4 mentions · first linked 2023-06-24
- Dependent Types in TypeScript, Seriously (2021)3 people · 3 mentions · first linked 2022-09-29
What Hacker News says?
No too my knowledge nothing is strict about a proofing system because like I said it becomes hard to do. It could be useful for ultra safe software but for most cases the complexity isn't worth it. But that doesn't mean it's not useful to have this capability as part of your typesystem. It just doesn't need to be fully utilized. You don't need to program a type that proves everything correct. You can program and mak…
Comment linking /dependent-types-in-typescript-seriously
on “Python developers are embracing type hints”Submitted Psychology of Code Readability as a story · 3 points
HN discussionNeat, but this is basically a ripoff of this post from a few years ago (even to the point of not including the runtime implementation): https://www.hacklewayne.com/a-truly-strongly-typed-printf-in...
Comment linking /a-truly-strongly-typed-printf-in-typescript
on “Type-Safe Printf() in TypeScript”Submitted A strongly-typed printf in TypeScript as a story · 2 points
HN discussionTypescript can check sprintf though using template string types: https://www.hacklewayne.com/a-truly-strongly-typed-printf-in...
Comment linking /a-truly-strongly-typed-printf-in-typescript
on “Why doesn't TypeScript properly type Object.keys?”Submitted Dependent Types in TypeScript, Seriously (2021) as a story · 2 points
HN discussionI don’t think I’m following well enough to provide a meaningful response. This is not meant as an argument against what you’re saying, because I know you were just giving an example, but I found this and thought you may find it interesting: https://www.hacklewayne.com/a-truly-strongly-typed-printf-in...
Comment linking /a-truly-strongly-typed-printf-in-typescript
on “Why doesn't TypeScript properly type Object.keys?”Submitted Loosely, yet Tightly Coupled as a story · 1 points
HN discussionTypescript has something that can be used as dependent types, but it wasn't intended as a language feature, so the Syntax is not as ergonomic as Agda: https://www.hacklewayne.com/dependent-types-in-typescript-se...
Comment linking /dependent-types-in-typescript-seriously
on “Parse, Don't Validate and Type-Driven Design in Rust”Submitted State Monad: a bit of currying goes a long way as a story · 1 points
HN discussionSubmitted A taste of Rust – Hackle's blog as a story · 1 points
HN discussion