Something (unrelated) that surprised me here is that the author has two decades of posts on this blog, leading back to their first post about a new version of C# (https://codeblog.jonskeet.uk/2005/09/)
Personally as a younger software guy I had no idea that C# had type inference back in 2005- an interesting perspective shift!
type inference in programming languages is more than 50 years old. ML had it in 1973.
Leaky abstractions.
What about it? The article isn't about leaky abstractions perse, it's about incorrect abstractions.
[delayed]