Top all-time · #9372
Michael Peyton Jones
Personal blog · michaelpj.com/blogprogramming
Michael Peyton Jones writes Terms and Truth-Conditions, a personal blog at michaelpj.com about programming. Since 2021, 8 different Hacker News readers have linked it 8 times, most often “LSP: The good, the bad, and the ugly”. It is still writing: the last post was on 2025-04-12, and you can follow it by feed.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
HN readers link these posts on the design of Visual Studio Code and on trait/typeclass problems, such as conflicting implementations across crates in a language like Rust. One thread compares the approach to Haskell's instance resolution.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- LSP: The good, the bad, and the ugly3 people · 3 mentions · first linked 2024-09-03
What Hacker News says?
>It seems like the good well outweighs the bad. Oh, I definitely agree. While I don't use the editor (mainly because I prefer full IDEs and not glorified text editors personally) I agree that holistically, the existence of VSC is a net positive to the programming community. My argument comes from a moral perspective - even though the good outweighs the bad, the bad parts are really scummy and need more awareness. Li…
Comment linking /blog/2024/09/03/lsp-good-bad-ugly.html
on “Visual Studio Code is designed to fracture (2022)”Submitted LSP: The good, the bad, and the ugly as a story · 280 points
HN discussionLove to see a problem from the frontline of computer science as an actual practical problem solution to which would greatly benefit languages' semantics. Regarding conflicting impls in crate_c and crate_d: what is wrong with Haskell's approach of grading impls by their specialty (e.g. Show Int is more specific than Show a so prior instance would be used if matches) and only throwing an error if it's ambiguous to the…
Comment linking /blog/2020/10/29/your-orphans-are-fine.html
on “Traits are a local maximum”Submitted Experiments with Writing Haskell with Aider as a story · 6 points
HN discussionSubmitted A catamorphic lambda-calculus interpreter as a story · 4 points
HN discussionSubmitted LSP: The Good, the Bad, and the Ugly as a story · 4 points
HN discussionSubmitted Why Is Defunctionalization Good? as a story · 2 points
HN discussionSubmitted Elementary Programming as a story · 1 points
HN discussion