Hacker News new | ask | show | jobs
by yxhuvud 794 days ago
> That’s just how type programming looks.

Then that is an argument to do less of it. Or at least to back off and learn to write better types that are not a mess.