Article note: ...Yeah, I've done Linux bring-up on a bunch of ARM SOC boards, they're essentially all flaming piles of bullshit of roughly this magnitude. It's a serious problem.
What if… – your programming language required you to write useful docs, – using those docs, it checked your program for mistakes, – it even used the docs to speed up your program, – this feature already exists! And what if it was called static typing.