1
Things I Was Wrong About: Types
I have changed my mind about some topics big and small so far in my life. Today: the value of types for programming.
Chris Krycho
Learning in public: on theology, technology, ethics, software, politics, art, and more.
- Popular posts
- 8
- Total points
- 1,585
- HN comments
- 1,396
- Rank
- #1,144 personal
Visit v5.chriskrycho.com → RSS feedOn Hacker News Sep 2020 – Jan 2025
Software Engineering 7Programming Languages 4Tools & Productivity 2Life, Learning & Writing 2Web & Frontend 1
2
Isolating complexity is the essence of successful abstractions
Complexity has to live somewhere; but it does not have to live everywhere.
3
Some Thoughts on Zig
One of the biggest things Zig has going for it—especially compared to Rust—is that it is (relatively) small. That sits in tension with Rust’s approach to solving memory safety problems, and sets up a nice challenge for future programming language designers.
4
jj init – getting serious about replacing Git with Jujutsu
Jujutsu (`jj`) is a new version control system from a software developer at Google. I have been using it full time for 6 months. Here’s why you should switch, too.
5
Using Drop for safety in Rust
A deep dive into Rust’s vec::Drain and its Drop implementation as an example of how ownership prevents subtle bugs—memory and otherwise!
6
How to Do a TypeScript Conversion
Addressing a very common question: do-it-as-you-go or follow the dependency graph?
7
Why Rust helps even if you have to use a lot of `unsafe`
I semi-regularly hear developers who claim that using Rust would not gain them anything because they would have to use `unsafe`. But this is not true. Local reasoning matters.