Article note: I've been expecting "Cheap multirotor with a shrapnel-throwing explosive device" to become a major fixture in small-actor warfare for years. Here they are.
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.